 Proof Theory of Finitevalued Logics.Richard Zach  1993  Dissertation, Technische Universität Wiendetails


From Bifacial Truth to Bifacial Proofs.Stefan Wintein & Reinhard A. Muskens  2015  Studia Logica 103 (3):545558.details


The Logic of Generalized Truth Values and the Logic of Bilattices.Sergei P. Odintsov & Heinrich Wansing  2015  Studia Logica 103 (1):91112.details


How a computer should think.Nuel Belnap  1977  In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details


Elimination of Cuts in Firstorder Finitevalued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach  1993  Journal of Information Processing and Cybernetics EIK 29 (6):333355.details


(1 other version)On Axiomatizing ShramkoWansing’s Logic.Sergei P. Odintsov  2009  Studia Logica 91 (3):407428.details


Representation of interlaced trilattices.Umberto Rivieccio  2013  Journal of Applied Logic 11 (2):174189.details


A calculus for Belnap's logic in which each proof consists of two trees.Stefan Wintein & Reinhard Muskens  2012  Logique Et Analyse 220:643656.details


The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing  2010  Journal of Philosophical Logic 39 (4):369  393.details


On Partial and Paraconsistent Logics.Reinhard Muskens  1999  Notre Dame Journal of Formal Logic 40 (3):352374.details


(1 other version)Meaning and Partiality.Reinhard Muskens  1995  Stanford, CA: CSLI Publications.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):241251.details


(1 other version)On Axiomatizing ShramkoWansing’s Logic.Sergei P. Odintsov  2009  Studia Logica 91 (3):407  428.details


(2 other versions)Methoden zur Axiomatisierung beliebiger Aussagen‐ und Prädikatenkalküle.Karl Schröter  1955  Mathematical Logic Quarterly 1 (4):241251.details


Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing  2011  Dordrecht, Netherland: Springer.details


Some Useful 16Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing  2005  Journal of Philosophical Logic 34 (2):121153.details


A NonInferentialist, AntiRealistic Conception of Logical Truth and Falsity.Heinrich Wansing  2012  Topoi 31 (1):93100.details


Sequent calculi for some trilattice logics.Norihiro Kamide & Heinrich Wansing  2009  Review of Symbolic Logic 2 (2):374395.details


A useful fourvalued logic.N. D. Belnap  1977  In J. M. Dunn & G. Epstein (eds.), Modern Uses of MultipleValued Logic. D. Reidel.details


(1 other version)Meaning and Partiality.Reinhard Muskens  1989  Dissertation, University of Amsterdamdetails

