- 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
A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
Logic Journal of the IGPL 23 (2):174-193 (2015)
Abstract
This article has no associated abstract. (fix it)Author Profiles
DOI
10.1093/jigpal/jzu029
My notes
Similar books and articles
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points.Gemma Robles & José M. Méndez - 2014 - Journal of Applied Non-Classical Logics 24 (4):321-332.
A Generalization of the Routley-Meyer Semantic Framework.Morgan Thomas - 2015 - Journal of Philosophical Logic 44 (4):411-427.
Intuitionistic propositional logic without 'contraction' but with 'reductio'.J. M. Méndez & F. Salto - 2000 - Studia Logica 66 (3):409-418.
Minimal Non-relevant Logics Without The K Axiom.Gemma Robles & Jose Mendez - 2007 - Reports on Mathematical Logic.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics.Thomas Macaulay Ferguson - 2014 - In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press. pp. 121-127.
A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (1):1-23.
Propositional Mixed Logic: Its Syntax and Semantics.Karim Nour & Abir Nour - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):377-390.
A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.Gemma Robles - 2013 - Logica Universalis 7 (4):507-532.
Intersection Type Systems and Logics Related to the Meyer–Routley System B+.Martin Bunder - 2003 - Australasian Journal of Logic 1:43-55.
Completeness and incompleteness for intuitionistic logic.Charles McCarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
An inadequacy in Kripke-semantics for intuitionistic quantificational logic.Richard Routley - 1978 - Bulletin of the Section of Logic 7 (2):61-65.
Analytics
Added to PP
2016-06-30
Downloads
24 (#489,939)
6 months
2 (#326,586)
2016-06-30
Downloads
24 (#489,939)
6 months
2 (#326,586)
Historical graph of downloads
Author Profiles
Citations of this work
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.
A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3DH.Gemma Robles & José M. Méndez - 2021 - Journal of Logic, Language and Information 30 (1):117-138.
A basic quasi-Boolean logic of intuitionistic character.Gemma Robles - 2020 - Journal of Applied Non-Classical Logics 30 (4):291-311.
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity.Guillermo Badia - 2016 - Logic Journal of the IGPL 24 (2):115-137.
A Note on Gödel-Dummet Logic LC.Gemma Robles & José M. Méndez - 2021 - Bulletin of the Section of Logic 50 (3):325-335.
References found in this work
A paraconsistent 3-valued logic related to Godel logic G3.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (4):515-538.
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-7cdd687c8d-79zxv N