- (1 other version)Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.details
|
|
Sequent calculi for some trilattice logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.details
|
|
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details
|
|
Labeled calculi and finite-valued logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.details
|
|
Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.details
|
|
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wiendetails
|
|
Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.details
|
|
A Remark on the Intersection of Two Logics.Satoshi Miura - 1969 - Journal of Symbolic Logic 34 (3):504-505.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
|
|
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.details
|
|
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.details
|
|
(1 other version)Entailment: The Logic of Relevance and Necessity, Vol. 1.A. Anderson & N. Belnap (eds.) - 1975 - Princeton, NJ, USA: Princeton University Press.details
|
|
On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407-428.details
|
|
(1 other version)Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
A Treatise on Many-Valued Logic.Siegfried Gottwald - 2001 - Research Studies Press.details
|
|
Bilattices are nice things.Melvin Fitting - 2008 - In Thomas Bolander (ed.), Self-reference. Center for the Study of Language and Inf.details
|
|
Hyper-contradictions, generalized truth values and logics of truth and falsehood.Yaroslav Shramko & Heinrich Wansing - 2006 - Journal of Logic, Language and Information 15 (4):403-424.details
|
|
Multivalued logics: a uniform approach to reasoning in AI.Matthew Ginsberg - 1988 - Computer Intelligence 4 (1):256--316.details
|
|
(2 other versions)Methoden zur Axiomatisierung beliebiger Aussagen‐ und Prädikatenkalküle.Karl Schröter - 1955 - Mathematical Logic Quarterly 1 (4):241-251.details
|
|
Displaying Modal Logic.Heinrich Wansing - 1998 - Dordrecht, Netherland: Springer.details
|
|
Generalized truth values.: A reply to Dubois.Heinrich Wansing & Nuel Belnap - 2010 - Logic Journal of the IGPL 18 (6):921-935.details
|
|
(2 other versions)Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle.Karl Schröter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):241-251.details
|
|
Displaying Modal Logic.Heinrich Wansing - 2000 - Studia Logica 66 (3):421-426.details
|
|