- Proof theory.Gaisi Takeuti - 1976 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details
|
|
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
Proof theory: sequent calculi and related formalisms.Katalin Bimbó - 2015 - Boca Raton: CRC Press, Taylor & Francis Group.details
|
|
Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.details
|
|
The value of the four values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.details
|
|
Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.details
|
|
A Propositional Logic with Subjunctive Conditionals.R. B. Angell - 1970 - Journal of Symbolic Logic 35 (3):464-465.details
|
|
A propositional logic with subjunctive conditionals.R. B. Angell - 1962 - Journal of Symbolic Logic 27 (3):327-343.details
|
|
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.details
|
|
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details
|
|
Many-valued modal logics.Melvin C. Fitting - unknowndetails
|
|
Many-valued modal logics II.Melvin Fitting - unknowndetails
|
|
Informational interpretation of substructural propositional logics.Heinrich Wansing - 1993 - Journal of Logic, Language and Information 2 (4):285-308.details
|
|
An expansion of first-order Belnap-Dunn logic.K. Sano & H. Omori - 2014 - Logic Journal of the IGPL 22 (3):458-481.details
|
|
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.details
|
|
Many-valued modal logics: A simple approach: Many-valued modal logics: A simple approach.Graham Priest - 2008 - Review of Symbolic Logic 1 (2):190-203.details
|
|
Connexive logics. An overview and current trends.Hitoshi Omori & Heinrich Wansing - forthcoming - Logic and Logical Philosophy:1.details
|
|
The Class of Extensions of Nelson's Paraconsistent Logic.Sergei P. Odintsov - 2005 - Studia Logica 80 (2-3):291-320.details
|
|
The lattice of Belnapian modal logics: Special extensions and counterparts.Sergei P. Odintsov & Stanislav O. Speranski - 2016 - Logic and Logical Philosophy 25 (1):3-33.details
|
|
On Definability of Connectives and Modal Logics over FDE.Sergei P. Odintsov, Daniel Skurt & Heinrich Wansing - forthcoming - Logic and Logical Philosophy:1.details
|
|
Modal logics with Belnapian truth values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.details
|
|
Disentangling FDE -Based Paraconsistent Modal Logics.Sergei P. Odintsov & Heinrich Wansing - 2017 - Studia Logica 105 (6):1221-1254.details
|
|
BK-lattices. Algebraic Semantics for Belnapian Modal Logics.Sergei P. Odintsov & E. I. Latkin - 2012 - Studia Logica 100 (1-2):319-338.details
|
|
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.details
|
|
Constructible Falsity.David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228.details
|
|
Classical relevant logics II.Robert K. Meyer & Richard Routley - 1974 - Studia Logica 33 (2):183 - 194.details
|
|
Classical relevant logics. I.R. K. Meyer & Richard Routley - 1973 - Studia Logica 32:51.details
|
|
Connexive implication.Storrs Mccall - 1966 - Journal of Symbolic Logic 31 (3):415-433.details
|
|
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.details
|
|
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford July 1963. North Holland. pp. 92-130.details
|
|
Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi.Saul A. Kripke - 1966 - Journal of Symbolic Logic 31 (1):120-122.details
|
|
Proof Theory of Paraconsistent Quantum Logic.Norihiro Kamide - 2018 - Journal of Philosophical Logic 47 (2):301-324.details
|
|
Paraconsistent Double Negations as Classical and Intuitionistic Negations.Norihiro Kamide - 2017 - Studia Logica 105 (6):1167-1191.details
|
|
Modal Multilattice Logic.Norihiro Kamide & Yaroslav Shramko - 2017 - Logica Universalis 11 (3):317-343.details
|
|
Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with Classical Negation: A General Framework.Norihiro Kamide - 2019 - Logica Universalis 13 (1):37-63.details
|
|
Intuitionistic logic with strong negation.Yuri Gurevich - 1977 - Studia Logica 36 (1-2):49 - 59.details
|
|
On a multilattice analogue of a hypersequent S5 calculus.Oleg Grigoriev & Yaroslav Petrukhin - forthcoming - Logic and Logical Philosophy:1.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.details
|
|
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.details
|
|
The Logic of Information Structures.H. Wansing - 1993details
|
|
Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.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
|
|
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.details
|
|
Propositional dynamic logic with belnapian truth values.Igor Sedlár - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 503-519.details
|
|
A new four-valued approach to modal logic.Jean-Yves Béziau - 2011 - Logique Et Analyse 54 (213):109.details
|
|
Klassische und nichtklassische Aussagenlogik.Wolfgang Rautenberg - 1980 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 11 (2):405-407.details
|
|
Klassische und nichtklassische Aussagenlogik.Wolfgang Rautenberg - 1982 - Studia Logica 41 (4):431-431.details
|
|