- 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
My notes
Similar books and articles
A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.Gemma Robles - 2013 - Logica Universalis 7 (4):507-532.
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Remarks on the applications of paraconsistent logic to physics.Newton C. A. da Costa & Décio Krause - unknown
Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.
Extensions of Hałkowska–Zajac's three-valued paraconsistent logic.Alexej P. Pynko - 2002 - Archive for Mathematical Logic 41 (3):299-307.
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 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.
Jaśkowski's criterion and three-valued paraconsistent logics.Alexander S. Karpenko - 1999 - Logic and Logical Philosophy 7:81.
Finitely many-valued paraconsistent systems.Roman Tuziak - 1997 - Logic and Logical Philosophy 5:121-127.
5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mCi.Arnon Avron - 2008 - Studies in Logic, Grammar and Rhetoric 14 (27).
An alternative approach for Quasi-Truth.Marcelo E. Coniglio & Luiz H. Da Cruz Silvestrini - 2014 - Logic Journal of the IGPL 22 (2):387-410.
Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
Analytics
Added to PP
2016-06-30
Downloads
31 (#513,686)
6 months
3 (#965,065)
2016-06-30
Downloads
31 (#513,686)
6 months
3 (#965,065)
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.
Proof Systems for 3-valued Logics Based on Gödel’s Implication.Arnon Avron - 2022 - Logic Journal of the IGPL 30 (3):437-453.
Self-Extensional Three-Valued Paraconsistent Logics.Arnon Avron - 2017 - Logica Universalis 11 (3):297-315.
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value.Gemma Robles, Francisco Salto & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (3):307-325.
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.
Completeness proofs for the systems RM3 and BN4.Ross T. Brady - 1982 - Logique Et Analyse 25 (97):9.
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-64dd777598-b9rvg uwo