- A survey of some connections between classical, intuitionistic and minimal logic.D. Prawitz & P.-E. Malmnäs - 1968 - In H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.), Contributions to mathematical logic. Amsterdam,: North-Holland. pp. 215–229.details
|
|
Translations between logical systems: a manifesto.Walter A. Carnielli & Itala Ml D'Ottaviano - 1997 - Logique Et Analyse 157:67-81.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
|
|
Peirce's axioms for propositional calculus.A. N. Prior - 1958 - Journal of Symbolic Logic 23 (2):135-136.details
|
|
Intuitionistic logic with strong negation.Yuri Gurevich - 1977 - Studia Logica 36 (1-2):49 - 59.details
|
|
Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.details
|
|
A Semantic Hierarchy for Intuitionistic Logic.Guram Bezhanishvili & Wesley H. Holliday - 2019 - Indagationes Mathematicae 30 (3):403-469.details
|
|
Negation in the Context of Gaggle Theory.J. Michael Dunn & Chunlai Zhou - 2005 - Studia Logica 80 (2):235-264.details
|
|
The Class of Extensions of Nelson's Paraconsistent Logic.Sergei P. Odintsov - 2005 - Studia Logica 80 (2-3):291-320.details
|
|
Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.Dimiter Vakarelov - 2005 - Studia Logica 80 (2):393-430.details
|
|
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.details
|
|
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.details
|
|
On the Relation Between Various Negative Translations.Gilda Ferreira & Paulo Oliva - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 227-258.details
|
|
Subminimal Logics in Light of Vakarelov’s Logic.Satoru Niki - 2020 - Studia Logica 108 (5):967-987.details
|
|
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.details
|
|
Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.details
|
|
Decidability of Some Extensions ofJ.R. I. Goldblatt - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):203-206.details
|
|
Star and perp: Two treatments of negation.J. Michael Dunn - 1993 - Philosophical Perspectives 7:331-357.details
|
|
Conditional negation on the positive logic.Jacek Geisler & Marek Nowak - forthcoming - Bulletin of the Section of Logic.details
|
|
Decidability of Some Extensions of J.R. I. Goldblatt - 1974 - Mathematical Logic Quarterly 20 (13‐18):203-206.details
|
|
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.details
|
|
The weakest logic of conditional negation.M. Nowak - 1995 - Bulletin of the Section of Logic 24 (4).details
|
|
A note on JP'.Peter W. Woodruff - 1970 - Theoria 36 (2):183-184.details
|
|
Defining double negation elimination.G. Restall - 2000 - Logic Journal of the IGPL 8 (6):853-860.details
|
|