 Expanding the universe of universal logic.James Trafford  2014  Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):325343.details


Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other TruthFunctional Connective).Richard Zach  2015  Journal of Philosophical Logic 45 (2):183197.details


Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC.Richard Zach  2023  Logic and Logical Philosophy 32 (2):161179.details


Analytic Tableaux for all of SIXTEEN 3.Stefan Wintein & Reinhard Muskens  2015  Journal of Philosophical Logic 44 (5):473487.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


Commodious axiomatization of quantifiers in multiplevalued logic.Reiner Hähnle  1998  Studia Logica 61 (1):101121.details


Sequenttype rejection systems for finitevalued nondeterministic logics.Martin Gius & Hans Tompits  2023  Journal of Applied NonClassical Logics 33 (34):606640.details


Protoalgebraic Gentzen systems and the cut rule.Àngel J. Gil & Jordi Rebagliato  2000  Studia Logica 65 (1):5389.details


On Gentzen Relations Associated with Finitevalued Logics Preserving Degrees of Truth.Angel J. Gil  2013  Studia Logica 101 (4):749781.details


Higherlevel Inferences in the StrongKleene Setting: A Prooftheoretic Approach.Pablo Cobreros, Elio La Rosa & Luca Tranchini  2021  Journal of Philosophical Logic 51 (6):14171452.details


Labeled calculi and finitevalued logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach  1998  Studia Logica 61 (1):733.details


The Golden Age of Polish Philosophy. Kaziemierz Twardowski’s philosophical legacy.Sandra Lapointe, Jan Wolenski, Mathieu Marion & Wioletta Miskiewicz (eds.)  2009  Dordrecht, Netherland: Springer.details


An Inferentialist Approach to Paraconsistency.James Trafford  2014  Abstracta 8 (1):5573.details


Dual Systems of Sequents and Tableaux for ManyValued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach  1993  Bulletin of the EATCS 51:192197.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

