- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Nested Sequents for Intuitionistic Logics
Notre Dame Journal of Formal Logic 55 (1):41-61 (2014)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Book review: Melvin Fitting. Computability theory, semantics, and logic programming. [REVIEW]Martin Davis - 1990 - Notre Dame Journal of Formal Logic 31 (3):485-486.
Cut-free modal sequents for normal modal logics.Claudio Cerrato - 1993 - Notre Dame Journal of Formal Logic 34 (4):564-582.
Book Review: Raymond M. Smullyan and Melvin Fitting. Set Theory and the Continuum Problem. [REVIEW]Stephen Pollard - 1997 - Notre Dame Journal of Formal Logic 38 (3):475-480.
Modality and possibility in some intuitionistic modal logics.Josep M. Font - 1986 - Notre Dame Journal of Formal Logic 27 (4):533-546.
Review: Melvin Fitting, Proof Methods for Modal and Intuitionistic Logics. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (3):855-856.
A remark on Gentzen's calculus of sequents.Johannes Czermak - 1977 - Notre Dame Journal of Formal Logic 18 (3):471-474.
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston - 2020 - In Maribel Fernandez & Anca Muscholl (eds.), 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). pp. 1-16.
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. pp. 409-427.
On strengthening intuitionistic logic.Richard E. Vesley - 1963 - Notre Dame Journal of Formal Logic 4 (1):80-80.
Fitting Melvin. Proof methods for modal and intuitionistic logics. Synthese library, vol. 169. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, viii + 555 pp. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (3):855-856.
Analytics
Added to PP
2014-01-23
Downloads
14 (#994,967)
6 months
3 (#1,208,833)
2014-01-23
Downloads
14 (#994,967)
6 months
3 (#1,208,833)
Historical graph of downloads
Author's Profile
Citations of this work
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics.Tim Lyon - 2021 - Journal of Logic and Computation 31 (1):213-265.
An ecumenical notion of entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.
Modal interpolation via nested sequents.Melvin Fitting & Roman Kuznets - 2015 - Annals of Pure and Applied Logic 166 (3):274-305.
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.Tim Lyon - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer. pp. 177-194.
References found in this work
Deep sequent systems for modal logic.Kai Brünnler - 2009 - Archive for Mathematical Logic 48 (6):551-577.
Prefixed tableaus and nested sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Basic logic: Reflection, symmetry, visibility.Giovanni Sambin, Giulia Battilotti & Claudia Faggian - 2000 - Journal of Symbolic Logic 65 (3):979-1013.
Tableau methods of proof for modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (2):237-247.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-kkm7k uwo