- 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 paraconsistent 3-valued logic related to Godel logic G3
Logic Journal of the IGPL 22 (4):515-538 (2014)
Abstract
This article has no associated abstract. (fix it)Author Profiles
Other Versions
No versions found
My notes
Similar books and articles
Proof Systems for 3-valued Logics Based on Gödel’s Implication.Arnon Avron - 2022 - Logic Journal of the IGPL 30 (3):437-453.
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4.Gemma Robles & José M. Méndez - 2024 - Logic Journal of the IGPL 32 (3):572-572.
A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.Gemma Robles - 2013 - Logica Universalis 7 (4):507-532.
A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\). [REVIEW]Gemma Robles & José M. Méndez - 2022 - Bulletin of the Section of Logic 51 (4):487-505.
A simple Henkin-style completeness proof for Gödel 3-valued logic G3.Gemma Robles - 2014 - Logic and Logical Philosophy 23 (4):371-390.
G'3 as the logic of modal 3-valued Heyting algebras.Marcelo E. Coniglio, Aldo Figallo-Orellano, Alejandro Hernández-Tello & Miguel Perez-Gaspar - 2022 - IfCoLog Journal of Logics and Their Applications 9 (1):175-197.
A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3DH.Gemma Robles & José M. Méndez - 2020 - Journal of Logic, Language and Information 30 (1):117-138.
Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and Paraconsistency.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 107-139.
Three-valued Kripke-style Semantics For Pseudo- And Weak-boolean Logics.Eunsuk Yang - 2012 - Logic Journal of the IGPL 20 (1):187-206.
An axiomatic approach to CG′3 logic.Miguel Pérez-Gaspar, Alejandro Hernández-Tello, José Arrazola Ramírez & Mauricio Osorio Galindo - 2020 - Logic Journal of the IGPL 28 (6):1218-1232.
Analytics
Added to PP
2016-06-30
Downloads
41 (#545,769)
6 months
8 (#580,966)
2016-06-30
Downloads
41 (#545,769)
6 months
8 (#580,966)
Historical graph of downloads
Author Profiles
Citations of this work
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values.Gemma Robles & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (1):37-63.
The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3.Gemma Robles & José M. Méndez - 2020 - Journal of Logic, Language and Information 29 (3):349-374.
Self-Extensional Three-Valued Paraconsistent Logics.Arnon Avron - 2017 - Logica Universalis 11 (3):297-315.
A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions.G. Robles & J. M. Mendez - 2015 - Logic Journal of the IGPL 23 (2):174-193.
Self-extensional three-valued paraconsistent logics have no implications.Arnon Avron & Jean-Yves Beziau - 2016 - Logic Journal of the IGPL 25 (2):183-194.
References found in this work
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.
The semantics of first degree entailment.Richard Routley & Valerie Routley - 1972 - Noûs 6 (4):335-359.
Begründung einer strengen Implikation.Wilhelm Ackermann - 1956 - Journal of Symbolic Logic 21 (2):113-128.
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
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-2pm92 dc2