- Symmetric bi-derivations of UP(BCC)-algebras.Damla Yılmaz - 2023 - Journal of Applied Non-Classical Logics 34 (1):155-169.details
|
|
Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic.Shier Ju, Hu Liu & Hiroakira Ono (eds.) - 2015 - Heidelberg, Germany: Springer.details
|
|
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.Eunsuk Yang - forthcoming - Studia Logica:1-29.details
|
|
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.details
|
|
On closure and truth in substructural theories of truth.Zach Weber - 2016 - Synthese 199 (Suppl 3):725-739.details
|
|
Functional completeness for subsystems of intuitionistic propositional logic.Heinrich Wansing - 1993 - Journal of Philosophical Logic 22 (3):303 - 321.details
|
|
Rule Separation and Embedding Theorems for Logics Without Weakening.Clint J. van Alten & James G. Raftery - 2004 - Studia Logica 76 (2):241-274.details
|
|
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation.Masanobu Toyooka & Katsuhiko Sano - forthcoming - Studia Logica:1-31.details
|
|
Canonicity results of substructural and lattice-based logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.details
|
|
A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic.Youan Su & Katsuhiko Sano - 2023 - Studia Logica 111 (4):615-652.details
|
|
Constructive Logic with Strong Negation is a Substructural Logic. I.Matthew Spinks & Robert Veroff - 2008 - Studia Logica 88 (3):325-348.details
|
|
Constructive Logic with Strong Negation is a Substructural Logic. II.M. Spinks & R. Veroff - 2008 - Studia Logica 89 (3):401-425.details
|
|
Solution to a problem of Ono and Komori.John Slaney - 1989 - Journal of Philosophical Logic 18 (1):103 - 111.details
|
|
A general logic.John Slaney - 1990 - Australasian Journal of Philosophy 68 (1):74 – 88.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
|
|
Substructural inquisitive logics.Vít Punčochář - 2019 - Review of Symbolic Logic 12 (2):296-330.details
|
|
Semantical analysis of predicate logics without the contraction rule.Hiroakira Ono - 1985 - Studia Logica 44 (2):187 - 196.details
|
|
Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2011 - Australasian Journal of Logic 8:50-81.details
|
|
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.Hiroakira Ono - 2012 - Studia Logica 100 (1-2):339-359.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
|
|
Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes.Jeffrey S. Olson - 2006 - Studia Logica 83 (1-3):393-406.details
|
|
Decision methods for linearly ordered Heyting algebras.Sara Negri & Roy Dyckhoff - 2006 - Archive for Mathematical Logic 45 (4):411-422.details
|
|
Nelson’s logic ????Thiago Nascimento, Umberto Rivieccio, João Marcos & Matthew Spinks - 2020 - Logic Journal of the IGPL 28 (6):1182-1206.details
|
|
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.details
|
|
Intuitionistic propositional logic without 'contraction' but with 'reductio'.J. M. Méndez & F. Salto - 2000 - Studia Logica 66 (3):409-418.details
|
|
The finite model property for BCK and BCIW.Robert K. Meyer & Hiroakira Ono - 1994 - Studia Logica 53 (1):107 - 118.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
|
|
Advances in the theory of μŁΠ algebras.Enrico Marchioni & Luca Spada - 2011 - Logic Journal of the IGPL 19 (3):476-489.details
|
|
Non-associative Lambek calculus with modalities: interpolation, complexity and FEP.Z. Lin - 2014 - Logic Journal of the IGPL 22 (3):494-512.details
|
|
Infinitary action logic with exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.details
|
|
Complexity of the Infinitary Lambek Calculus with Kleene Star.Stepan Kuznetsov - 2021 - Review of Symbolic Logic 14 (4):946-972.details
|
|
Syntactical investigations intoBI logic andBB′I logic.Yuichi Komori - 1994 - Studia Logica 53 (3):397 - 416.details
|
|
Predicate logics without the structure rules.Yuichi Komori - 1986 - Studia Logica 45 (4):393 - 404.details
|
|
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.details
|
|
Contraction-elimination for implicational logics.Ryo Kashima - 1997 - Annals of Pure and Applied Logic 84 (1):17-39.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
|
|
Normal modal substructural logics with strong negation.Norihiro Kamide - 2003 - Journal of Philosophical Logic 32 (6):589-612.details
|
|
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.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
|
|
From semirings to residuated Kleene lattices.Peter Jipsen - 2004 - Studia Logica 76 (2):291 - 303.details
|
|
A classification of certain group-like FL $$_e$$ e -chains.Sándor Jenei & Franco Montagna - 2015 - Synthese 192 (7):2095-2121.details
|
|
Investigations into a left-structural right-substructural sequent calculus.Lloyd Humberstone - 2007 - Journal of Logic, Language and Information 16 (2):141-171.details
|
|
A Syntactic Approach to Maksimova's Principle of Variable Separation for Some Substructural Logics.H. Naruse, Bayu Surarso & H. Ono - 1998 - Notre Dame Journal of Formal Logic 39 (1):94-113.details
|
|
Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms.Ryo Hatano & Katsuhiko Sano - 2020 - Studia Logica 109 (1):95-124.details
|
|
Stone duality for lattice expansions.Chrysafis Hartonas - 2018 - Logic Journal of the IGPL 26 (5):475-504.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
|
|
Order- dual realational semantics for non-distributive propositional logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 25 (2):145-182.details
|
|
Modal translation of substructural logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.details
|
|
Hyper-MacNeille Completions of Heyting Algebras.J. Harding & F. M. Lauridsen - 2021 - Studia Logica 109 (5):1119-1157.details
|
|
Duality Results for (Co)Residuated Lattices.Chrysafis Hartonas - 2019 - Logica Universalis 13 (1):77-99.details
|
|