- Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.details
|
|
(1 other version)Tautological entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.details
|
|
Information: Does it have to be true? [REVIEW]James H. Fetzer - 2004 - Minds and Machines 14 (2):223-229.details
|
|
New Essays on Belnap-Dunn Logic.Hitoshi Omori & Heinrich Wansing (eds.) - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Paraconsistency and its Philosophical Interpretations.Eduardo Barrio & Bruno Da Re - 2018 - Australasian Journal of Logic 15 (2):151-170.details
|
|
40 years of FDE: An Introductory Overview.Hitoshi Omori & Heinrich Wansing - 2017 - Studia Logica 105 (6):1021-1049.details
|
|
Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing. Edited by Marcelo Esteban Coniglio.details
|
|
(1 other version)Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification.Alan Ross Anderson - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):201-216.details
|
|
Towards a philosophical understanding of the logics of formal inconsistency.Walter Carnielli & Abílio Rodrigues - 2015 - Manuscrito 38 (2):155-184.details
|
|
(1 other version)A guide to the Floridi keys: Luciano Floridi: The philosophy of information. Oxford: Oxford University Press, 2011, xx+405pp, £37.50 HB.J. Michael Dunn - 2012 - Metascience 22 (1):93-98.details
|
|
An epistemic approach to paraconsistency: a logic of evidence and truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.details
|
|
(1 other version)Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification.Alan Ross Anderson - 1960 - Mathematical Logic Quarterly 6 (7‐14):201-216.details
|
|
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details
|
|
Measuring evidence: a probabilistic approach to an extension of Belnap–Dunn logic.Abilio Rodrigues, Juliana Bueno-Soler & Walter Carnielli - 2020 - Synthese 198 (S22):5451-5480.details
|
|
Recovery operators, paraconsistency and duality.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2020 - Logic Journal of the IGPL 28 (5):624-656.details
|
|
Paraconsistency, paracompleteness, and valuations.A. Loparic - 1984 - Logique Et Analyse 27 (6):119.details
|
|
Valuation Semantics for First-Order Logics of Evidence and Truth.H. Antunes, A. Rodrigues, W. Carnielli & M. E. Coniglio - 2022 - Journal of Philosophical Logic 51 (5):1141-1173.details
|
|
Kripke-Style Models for Logics of Evidence and Truth.Henrique Antunes, Walter Carnielli, Andreas Kapsner & Abilio Rodrigues - 2020 - Axioms 9 (3).details
|
|
Paraconsistent Logic, Evidence, and Justification.Melvin Fitting - 2017 - Studia Logica 105 (6):1149-1166.details
|
|
Paraconsistency: The Logical Way to the Inconsistent.Walter A. Carnielli & Marcelo E. Coniglio - 2003 - Bulletin of Symbolic Logic 9 (3):410-412.details
|
|
On the way to a Wider model theory: Completeness theorems for first-order logics of formal inconsistency.Walter Carnielli, Marcelo E. Coniglio, Rodrigo Podiacki & Tarcísio Rodrigues - 2014 - Review of Symbolic Logic 7 (3):548-578.details
|
|
(1 other version)A guide to the Floridi keys: Luciano Floridi: The philosophy of information. Oxford: Oxford University Press, 2011, xx+405pp, £37.50 HB. [REVIEW]J. Michael Dunn - 2013 - Metascience 22 (1):93-98.details
|
|
On paraconsistent deontic logic.Newton C. A. Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.details
|
|
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.details
|
|
A free IPC is a natural logic: Strong completeness for some intuitionistic free logics.Carl J. Posy - 1982 - Topoi 1 (1-2):30-43.details
|
|
On the strong semantical completeness of the intuitionistic predicate calculus.Richmond H. Thomason - 1968 - Journal of Symbolic Logic 33 (1):1-7.details
|
|
(1 other version)A semantical analysis of the calculi Cn.Newton C. A. da Costa - 1977 - Notre Dame Journal of Formal Logic 18:621.details
|
|
On paraconsistent deontic logic.Newton C. A. Da Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.details
|
|
Propositional calculus for contradictory deductive systems.Stanisław Jaśkowski - 1969 - Studia Logica 24 (1):143 - 160.details
|
|