- 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
Logical Connectives for Constructive Modal Logic
Synthese 150 (3):459-482 (2006)
Abstract
Model-theoretic proofs of functional completenes along the lines of [McCullough 1971, Journal of Symbolic Logic 36, 15–20] are given for various constructive modal propositional logics with strong negation.Author's Profile
My notes
Similar books and articles
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Noisy vs. Merely Equivocal Logics.Patrick Allo - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 57--79.
Free and Projective Bimodal Symmetric Gödel Algebras.Revaz Grigolia, Tatiana Kiseliova & Vladimer Odisharia - 2016 - Studia Logica 104 (1):115-143.
Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCsK fragment of S. [REVIEW]Lloyd Humberstone - 2007 - Journal of Philosophical Logic 36 (5):435 - 487.
Verbal Disputes in Logic: Against minimalism for logical connectives.Ole Hjortland - 2014 - Logique Et Analyse 57 (227):463-486.
Constructive Empiricism and Modal Nominalism.Monton Bradley & Fraassen Bas C. Van - 2003 - British Journal for the Philosophy of Science 54 (3):405 - 422.
Expressive power and semantic completeness: Boolean connectives in modal logic.I. L. Humberstone - 1990 - Studia Logica 49 (2):197 - 214.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
The Display Problem Revisited.Tyke Nunez - 2010 - In Michal Peliš Vit Punčochàr (ed.), Logica Handbook 2010. College Publications. pp. 143-156.
Logical Extensions of Aristotle’s Square.Dominique Luzeaux, Jean Sallantin & Christopher Dartnell - 2008 - Logica Universalis 2 (1):167-187.
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
Analytics
Added to PP
2009-01-28
Downloads
76 (#210,613)
6 months
4 (#698,851)
2009-01-28
Downloads
76 (#210,613)
6 months
4 (#698,851)
Historical graph of downloads
Author's Profile
Citations of this work
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Proofs, Disproofs, and Their Duals.Heinrich Wansing - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 483-505.
On Definability of Connectives and Modal Logics over FDE.Sergei P. Odintsov, Daniel Skurt & Heinrich Wansing - forthcoming - Logic and Logical Philosophy:1.
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.Dimiter Vakarelov - 2006 - Studia Logica 84 (1):105-127.
References found in this work
Logic, language-games and information: Kantian themes in the philosophy of logic.Jaakko Hintikka - 1973 - Oxford,: Clarendon Press.
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.
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-6d9b7f7c4c-67rzb uwo