- 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
Other Versions
No versions found
My notes
Similar books and articles
A Deterministic Terminating Sequent Calculus For Gödel-dummett Logic.R. Dyckhoff - 1999 - Logic Journal of the IGPL 7 (3):319-326.
Completeness theorem for Dummett's LC quantified and some of its extensions.Giovanna Corsi - 1992 - Studia Logica 51 (2):317 - 335.
Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom.José M. Méndez & Francisco Salto - 1995 - Notre Dame Journal of Formal Logic 36 (3):407-413.
A Cut‐Free Calculus For Dummett's LC Quantified.Giovanna Corsi - 1989 - Mathematical Logic Quarterly 35 (4):289-301.
On Some Subsystems of Dummett's LC.Branislav R. Boričić - 1985 - Mathematical Logic Quarterly 31 (14‐18):243-247.
On Some Subsystems of Dummett's LC.Branislav R. Boričić - 1985 - Mathematical Logic Quarterly 31 (14-18):243-247.
Analytics
Added to PP
2009-01-28
Downloads
43 (#524,466)
6 months
14 (#240,419)
2009-01-28
Downloads
43 (#524,466)
6 months
14 (#240,419)
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
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-667477cd97-wmc4m dc2