- On Barrio, Lo Guercio, and Szmuc on Logics of Evidence and Truth.Abilio Rodrigues & Walter Carnielli - forthcoming - Logic and Logical Philosophy:1-26.details
|
|
An epistemic approach to paraconsistency: a logic of evidence and truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.details
|
|
40 years of FDE: An Introductory Overview.Hitoshi Omori & Heinrich Wansing - 2017 - Studia Logica 105 (6):1021-1049.details
|
|
Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi.Andréa Loparić - 2010 - Principia: An International Journal of Epistemology 14 (1):125-133.details
|
|
Paraconsistent Logic: Consistency, Contradiction and Negation.Walter Carnielli & Marcelo Esteban Coniglio - 2016 - Basel, Switzerland: Springer International Publishing. Edited by Marcelo Esteban Coniglio.details
|
|
Logic: The Basics (2nd Edition).Jc Beall & Shay A. Logan - 2017 - Routledge.details
|
|
Semantic conceptions of information.Luciano Floridi - 2008 - In Stanford Encyclopaedia of Philosophy.details
|
|
Formal inconsistency and evolutionary databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.details
|
|
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.details
|
|
A semantical Analysis of the Calculi C n.Newton C. A. Da Costa & E. H. Alves - 1977 - Notre Dame Journal Fo Formal Logic 18 (4):621-630.details
|
|
Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.details
|
|
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details
|
|
Tautological entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.details
|
|
Recovery operators, paraconsistency and duality.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2020 - Logic Journal of the IGPL 28 (5):624-656.details
|
|
Nearly every normal modal logic is paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.details
|
|
Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The Fregean Axiom and Polish mathematical logic in the 1920s.Roman Suszko - 1977 - Studia Logica 36 (4):377-380.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
|
|
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.details
|
|
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.details
|
|
An expansion of first-order Belnap-Dunn logic.K. Sano & H. Omori - 2014 - Logic Journal of the IGPL 22 (3):458-481.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
|
|
New Essays on Belnap-Dunn Logic.Hitoshi Omori & Heinrich Wansing (eds.) - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Paraconsistency, paracompleteness, and valuations.A. Loparic - 1984 - Logique Et Analyse 27 (6):119.details
|
|
The philosophy of information.Luciano Floridi - 2010 - The Philosophers' Magazine 50:42-43.details
|
|
Information: Does it have to be true? [REVIEW]James H. Fetzer - 2004 - Minds and Machines 14 (2):223-229.details
|
|
Information: Does it Have To Be True?James H. Fetzer - 2004 - Minds and Machines 14 (2):223-229.details
|
|
A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.details
|
|
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
|
|
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
|
|
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
|
|
A semantical analysis of the calculi Cn.Newton C. A. da Costa - 1977 - Notre Dame Journal of Formal Logic 18:621.details
|
|
Kripke-Style Models for Logics of Evidence and Truth.Henrique Antunes, Walter Carnielli, Andreas Kapsner & Abilio Rodrigues - 2020 - Axioms 9 (3).details
|
|
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
|
|