- On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407-428.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Relevant generalization starts here (and here = 2).Dmitry Zaitsev & Oleg Grigoriev - 2010 - Logic and Logical Philosophy 19 (4):329-340.details
|
|
Bi-facial Truth: a Case for Generalized Truth Values.Dmitry Zaitsev & Yaroslav Shramko - 2013 - Studia Logica 101 (6):1299-1318.details
|
|
A few more useful 8-valued logics for reasoning with tetralattice eight.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265 - 280.details
|
|
A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT 4.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265-280.details
|
|
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.details
|
|
Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System.Heinrich Wansing & Yaroslav Shramko - 2008 - Studia Logica 88 (3):405-429.details
|
|
Generalized truth values.: A reply to Dubois.Heinrich Wansing & Nuel Belnap - 2010 - Logic Journal of the IGPL 18 (6):921-935.details
|
|
A Non-Inferentialist, Anti-Realistic Conception of Logical Truth and Falsity.Heinrich Wansing - 2012 - Topoi 31 (1):93-100.details
|
|
Editorial Introduction. Truth Values: Part I. [REVIEW]Yaroslav Shramko & Heinrich Wansing - 2009 - Studia Logica 91 (3):295-304.details
|
|
Representation of interlaced trilattices.Umberto Rivieccio - 2013 - Journal of Applied Logic 11 (2):174-189.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
|
|
On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407 - 428.details
|
|
Conservative translations of four-valued logics in modal logic.Ekaterina Kubyshkina - 2019 - Synthese 198 (S22):5555-5571.details
|
|
Sequent calculi for some trilattice logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.details
|
|
Proof Systems Combining Classical and Paraconsistent Negations.Norihiro Kamide - 2009 - Studia Logica 91 (2):217-238.details
|
|
Notes on Craig interpolation for LJ with strong negation.Norihiro Kamide - 2011 - Mathematical Logic Quarterly 57 (4):395-399.details
|
|
Completeness and cut-elimination theorems for trilattice logics.Norihiro Kamide & Heinrich Wansing - 2011 - Annals of Pure and Applied Logic 162 (10):816-835.details
|
|
A Hierarchy of Weak Double Negations.Norihiro Kamide - 2013 - Studia Logica 101 (6):1277-1297.details
|
|
Jaina Logic: A Contemporary Perspective.Graham Priest - 2008 - History and Philosophy of Logic 29 (3):263-278.details
|
|
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
A Note on FDE “All the Way Up”.Jc Beall & Caleb Camrud - 2020 - Notre Dame Journal of Formal Logic 61 (2):283-296.details
|
|
Truth values.Yaroslav Shramko - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2006 - In David Makinson, Jacek Malinowski & Heinrich Wansing (eds.), Towards Mathematical Philosophy. Dordrecht: Springer. pp. 269–296.details
|
|