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


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


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


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


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


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


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


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


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


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


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


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


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


Meaning and Partiality.Reinhard Muskens  1995  Stanford, CA: CSLI Publications.details


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


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


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


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


How a computer should think.Nuel Belnap  1977  In G. Ryle (ed.), Contemporary Aspects of Philosophy. Oriel Press.details


Meaning and Partiality.Reinhard Muskens  1989  Dissertation, University of Amsterdamdetails

