- Cut elimination and strong separation for substructural logics: an algebraic approach.Nikolaos Galatos & Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (9):1097-1133.details
|
|
Canonicity results of substructural and lattice-based logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.details
|
|
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.details
|
|
Converse Ackermann property and constructive negation defined with a negation connective.Gemma Robles & José M. Méndez - 2006 - Logic and Logical Philosophy 15 (2):113-130.details
|
|
Decision methods for linearly ordered Heyting algebras.Sara Negri & Roy Dyckhoff - 2006 - Archive for Mathematical Logic 45 (4):411-422.details
|
|
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.details
|
|
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.Hiroakira Ono - 2012 - Studia Logica 100 (1-2):339-359.details
|
|
Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom.José M. Méndez & Francisco Salto - 1995 - Notre Dame Journal of Formal Logic 36 (3):407-413.details
|
|
A natural negation completion of Urquhart's many-valued logic C.José M. Mendez & Francisco Salto - 1998 - Journal of Philosophical Logic 27 (1):75-84.details
|
|
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.details
|
|
Phase semantics and Petri net interpretation for resource-sensitive strong negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.details
|
|
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.details
|
|
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.details
|
|
From semirings to residuated Kleene lattices.Peter Jipsen - 2004 - Studia Logica 76 (2):291 - 303.details
|
|
Adding involution to residuated structures.Nikolaos Galatos & James G. Raftery - 2004 - Studia Logica 77 (2):181 - 207.details
|
|
Sequent-systems and groupoid models. I.Kosta Došen - 1988 - Studia Logica 47 (4):353 - 385.details
|
|
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.details
|
|
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.Romà J. Adillon & Ventura Verdú - 2000 - Studia Logica 65 (1):11-30.details
|
|
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation.Masanobu Toyooka & Katsuhiko Sano - forthcoming - Studia Logica:1-31.details
|
|
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.Eunsuk Yang - 2024 - Studia Logica 112 (4):805-833.details
|
|
Splittings in Subreducts of Hoops.Paolo Aglianò - 2022 - Studia Logica 110 (5):1155-1187.details
|
|
Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic.Shier Ju, Hu Liu & Hiroakira Ono (eds.) - 2015 - Heidelberg, Germany: Springer.details
|
|
Infinitary action logic with exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.details
|
|
Hyper-MacNeille Completions of Heyting Algebras.J. Harding & F. M. Lauridsen - 2021 - Studia Logica 109 (5):1119-1157.details
|
|
Complexity of the Infinitary Lambek Calculus with Kleene Star.Stepan Kuznetsov - 2021 - Review of Symbolic Logic 14 (4):946-972.details
|
|
Nelson’s logic ????Thiago Nascimento, Umberto Rivieccio, João Marcos & Matthew Spinks - 2020 - Logic Journal of the IGPL 28 (6):1182-1206.details
|
|
Modal translation of substructural logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.details
|
|
Modal Logic Without Contraction in a Metatheory Without Contraction.Patrick Girard & Zach Weber - 2019 - Review of Symbolic Logic 12 (4):685-701.details
|
|
The logic of resources and capabilities.Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis & Nachoem Wijnberg - 2018 - Review of Symbolic Logic 11 (2):371-410.details
|
|
Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework.Chrysafis Hartonas - 2018 - Journal of Philosophical Logic 47 (1):67-94.details
|
|
On closure and truth in substructural theories of truth.Zach Weber - 2016 - Synthese 199 (Suppl 3):725-739.details
|
|
Non-associative Lambek calculus with modalities: interpolation, complexity and FEP.Z. Lin - 2014 - Logic Journal of the IGPL 22 (3):494-512.details
|
|
Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes.Jeffrey S. Olson - 2006 - Studia Logica 83 (1-3):393-406.details
|
|
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Studia Logica 83 (1-3):279-308.details
|
|
Structural Completeness in Substructural Logics.J. S. Olson, J. G. Raftery & C. J. Van Alten - 2008 - Logic Journal of the IGPL 16 (5):453-495.details
|
|
A classification of certain group-like FL $$_e$$ e -chains.Sándor Jenei & Franco Montagna - 2015 - Synthese 192 (7):2095-2121.details
|
|
Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Kripke semantics for logics with BCK implication.Wendy MacCaull - 1996 - Bulletin of the Section of Logic 25:41-51.details
|
|
Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2011 - Australasian Journal of Logic 8:50-81.details
|
|
Formal systems of fuzzy logic and their fragments.Petr Cintula, Petr Hájek & Rostislav Horčík - 2007 - Annals of Pure and Applied Logic 150 (1-3):40-65.details
|
|
Distinguished algebraic semantics for t -norm based fuzzy logics: Methods and algebraic equivalencies.Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna & Carles Noguera - 2009 - Annals of Pure and Applied Logic 160 (1):53-81.details
|
|
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.details
|
|
On two fragments with negation and without implication of the logic of residuated lattices.Félix Bou, Àngel García-Cerdaña & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (5):615-647.details
|
|
(1 other version)Distributivity in lℵ0 and other sentential logics.Branden Fitelson - manuscriptdetails
|
|
A general logic.John Slaney - 1990 - Australasian Journal of Philosophy 68 (1):74 – 88.details
|
|
The finite model property for BCK and BCIW.Robert K. Meyer & Hiroakira Ono - 1994 - Studia Logica 53 (1):107 - 118.details
|
|
Predicate logics without the structure rules.Yuichi Komori - 1986 - Studia Logica 45 (4):393 - 404.details
|
|
Syntactical investigations intoBI logic andBB′I logic.Yuichi Komori - 1994 - Studia Logica 53 (3):397 - 416.details
|
|
Investigations into a left-structural right-substructural sequent calculus.Lloyd Humberstone - 2007 - Journal of Logic, Language and Information 16 (2):141-171.details
|
|
Duality for lattice-ordered algebras and for normal algebraizable logics.Chrysafis Hartonas - 1997 - Studia Logica 58 (3):403-450.details
|
|