- 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
Semantic trees for Dummett's logic LC
Studia Logica 45 (2):199-206 (1986)
Abstract
The aim of this paper is to provide a decision procedure for Dummett's logic LC, such that with any given formula will be associated either a proof in a sequent calculus equivalent to LC or a finite linear Kripke countermodel.Author's Profile
My notes
Similar books and articles
Intensional completeness in an extension of gödel/dummett logic.Matt Fairtlough & Michael Mendler - 2003 - Studia Logica 73 (1):51 - 80.
Decidability of quantified propositional intuitionistic logic and s4 on trees of height and arity ≤ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.
Dummett's case for intuitionism.John P. Burgess - 1984 - History and Philosophy of Logic 5 (2):177-194.
Completeness theorem for Dummett's LC quantified and some of its extensions.Giovanna Corsi - 1992 - Studia Logica 51 (2):317 - 335.
Analytics
Added to PP
2009-01-28
Downloads
29 (#538,668)
6 months
6 (#512,819)
2009-01-28
Downloads
29 (#538,668)
6 months
6 (#512,819)
Historical graph of downloads
Author's Profile
Citations of this work
A Cut‐Free Calculus For Dummett's LC Quantified.Giovanna Corsi - 1989 - Mathematical Logic Quarterly 35 (4):289-301.
A Cut-Free Calculus For Dummett's LC Quantified.Giovanna Corsi - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):289-301.
Decision methods for linearly ordered Heyting algebras.Sara Negri & Roy Dyckhoff - 2006 - Archive for Mathematical Logic 45 (4):411-422.
Intuitionistic Logic Freed of All Metarules.Giovanna Corsi & Gabriele Tassi - 2007 - Journal of Symbolic Logic 72 (4):1204 - 1218.
References found in this work
Review: A. E. Heath, Studies in Logic and Probability. [REVIEW]Michael Dummett - 1959 - Journal of Symbolic Logic 24 (3):203-209.
Reviews. A. E. Heath. Preface. Studies in logic and probability, by George Boole, Watts & Co., London 1952, and the Open Court Publishing Company, LaSalle, Illinois, 1952, pp. 7–8. R. Rhees. Note in editing. Studies in logic and probability, by George Boole, Watts & Co., London 1952, and the Open Court Publishing Company, LaSalle, Illinois, 1952, pp. 9–43. George Boole. The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning. A reprint of 191. Studies in logic and probability, by George Boole, Watts & Co., London 1952, and the Open Court Publishing Company, LaSalle, Illinois, 1952, pp. 45–119. George Boole. Later notes . Studies in logic and probability, by George Boole, Watts & Co., London 1952, and the Open Court Publishing Company, LaSalle, Illinois, 1952, pp. 119–124. George Boole. The calculus of logic. A reprint of 192. Studies in logic and probability, by George Boole, Watts & Co., London 1952, and the Open Court Publishing Company, LaSalle,. [REVIEW]Michael Dummett - 1959 - Journal of Symbolic Logic 24 (3):203-209.
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-7c76586df8-hc2g5 uwo