- Relevant deduction.Gerhard Schurz - 1991 - Erkenntnis 35 (1):391 - 437.details
|
|
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism.Gerhard Schurz - 2021 - Journal of Philosophical Logic 51 (1):27-55.details
|
|
On extensions of intermediate logics by strong negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.details
|
|
Diamonds are a philosopher's best friends.Heinrich Wansing - 2002 - Journal of Philosophical Logic 31 (6):591-612.details
|
|
2-element matrices.Wolfgang Rautenberg - 1981 - Studia Logica 40 (4):315 - 353.details
|
|
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.details
|
|
Modal Multilattice Logic.Norihiro Kamide & Yaroslav Shramko - 2017 - Logica Universalis 11 (3):317-343.details
|
|
Paraconsistent Double Negations as Classical and Intuitionistic Negations.Norihiro Kamide - 2017 - Studia Logica 105 (6):1167-1191.details
|
|
Falsification-Aware Semantics and Sequent Calculi for Classical Logic.Norihiro Kamide - 2021 - Journal of Philosophical Logic 51 (1):99-126.details
|
|
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.Norihiro Kamide, Yaroslav Shramko & Heinrich Wansing - 2017 - Studia Logica 105 (6):1193-1219.details
|
|
Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems.Norihiro Kamide - 2021 - Journal of Philosophical Logic 50 (4):781-811.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
|
|
Sequent calculi for some trilattice logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.details
|
|
Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.Norihiro Kamide - 2020 - Journal of Philosophical Logic 49 (6):1185-1212.details
|
|
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.Norihiro Kamide - 2021 - Studia Logica 109 (6):1241-1271.details
|
|
Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation.Norihiro Kamide - 2021 - Journal of Logic, Language and Information 30 (3):491-531.details
|
|
Intermediate logics with the same disjunctionless fragment as intuitionistic logic.Plerluigi Minari - 1986 - Studia Logica 45 (2):207 - 222.details
|
|
Even more about the lattice of tense logics.Marcus Kracht - 1992 - Archive for Mathematical Logic 31 (4):243-257.details
|
|
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.details
|
|
Frame Based Formulas for Intermediate Logics.Nick Bezhanishvili - 2008 - Studia Logica 90 (2):139-159.details
|
|
How far can Hume's is-ought thesis be generalized?Gerhard Schurz - 1991 - Journal of Philosophical Logic 20 (1):37 - 95.details
|
|
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.details
|
|
An embedding-based completeness proof for Nelson's paraconsistent logic.Norihiro Kamide - 2010 - Bulletin of the Section of Logic 39 (3/4):205-214.details
|
|
Natural deduction systems for Nelson's paraconsistent logic and its neighbors.Norihiro Kamide - 2005 - Journal of Applied Non-Classical Logics 15 (4):405-435.details
|
|
Willem Blok and Modal Logic.W. Rautenberg, M. Zakharyaschev & F. Wolter - 2006 - Studia Logica 83 (1):15-30.details
|
|
Judgment and consequence relations.Marcus Kracht - 2010 - Journal of Applied Non-Classical Logics 20 (4):423-435.details
|
|
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté, Advances in Modal Logic, Volume 11. CSLI Publications. pp. 288-301.details
|
|
Three-element nonfinitely axiomatizable matrices.Katarzyna Pałasińska - 1994 - Studia Logica 53 (3):361 - 372.details
|
|
Intermediate logics preserving admissible inference rules of heyting calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.details
|
|
Symmetric and conflated intuitionistic logics.Norihiro Kamide - forthcoming - Logic Journal of the IGPL.details
|
|
Gnosis.Marcus Kracht - 2011 - Journal of Philosophical Logic 40 (3):397 - 420.details
|
|
A formalization of elenctic argumentation.Sergio Galvan - 1995 - Erkenntnis 43 (1):111 - 126.details
|
|
Abstract modal logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.details
|
|
Nelson's paraconsistent logics.Seiki Akama - 1999 - Logic and Logical Philosophy 7:101.details
|
|
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics.Norihiro Kamide - 2016 - Mathematical Logic Quarterly 62 (3):177-189.details
|
|
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi.Norihiro Kamide - 2022 - Logica Universalis 16 (3):389-417.details
|
|
(1 other version)Extended full computation-tree logics for paraconsistent model checking.Norihiro Kamide - 2007 - Logic and Logical Philosophy 15 (3):251-276.details
|
|
Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.details
|
|
Symmetric and dual paraconsistent logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.details
|
|