- The value of the four values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.details
|
|
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.details
|
|
The logic of distributive bilattices.Félix Bou & Umberto Rivieccio - 2011 - Logic Journal of the IGPL 19 (1):183-216.details
|
|
Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.details
|
|
The Logic of Generalized Truth Values and the Logic of Bilattices.Sergei P. Odintsov & Heinrich Wansing - 2015 - Studia Logica 103 (1):91-112.details
|
|
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.details
|
|
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.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
|
|
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknowndetails
|
|
The Family of Stable Models.Melvin Fitting - unknowndetails
|
|
A Calculus for Antinomies.F. G. Asenjo - 1966 - Notre Dame Journal of Formal Logic 16 (1):103-105.details
|
|
(1 other version)Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details
|
|
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details
|
|
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.details
|
|
Four valued semantics and the liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.details
|
|
Four-valued semantics for relevant logics (and some of their rivals).Greg Restall - 1995 - Journal of Philosophical Logic 24 (2):139 - 160.details
|
|
On łukasiewicz's four-valued modal logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.details
|
|
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.details
|
|
Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.details
|
|
Reasoning about truth.G. Priest - 1989 - Artificial Intelligence 39 (2):231-244.details
|
|
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics.Arnon Avron - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):12-34.details
|
|
Multivalued logics: a uniform approach to reasoning in AI.Matthew Ginsberg - 1988 - Computer Intelligence 4 (1):256--316.details
|
|
Bilattices are nice things.Melvin Fitting - 2008 - In Thomas Bolander (ed.), Self-reference. Center for the Study of Language and Inf.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
|
|
Four-valued Logic.Katalin Bimbó & J. Michael Dunn - 2001 - Notre Dame Journal of Formal Logic 42 (3):171-192.details
|
|
On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.details
|
|
Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.details
|
|
Deducibility and many-valuedness.D. J. Shoesmith & T. J. Smiley - 1971 - Journal of Symbolic Logic 36 (4):610-622.details
|
|
Multi-valued Calculi for Logics Based on Non-determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.details
|
|
On negation: Pure local rules.João Marcos - 2005 - Journal of Applied Logic 3 (1):185-219.details
|
|
Minimally inconsistent LP.Graham Priest - 1991 - Studia Logica 50 (2):321 - 331.details
|
|
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond.George Gargov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):195-283.details
|
|