Distributivity in Symmetric Constructive Full Lambek Calculus
Abstract
N/A
References
Dunn, J.M., A Gentzen System for Positive Relevant Implication. Journal of Symbolic Logic 38, 356-357 (1973). Abstract.
Galatos, N., Kowalski, T., Jipsen, P., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier (2007)
Kozak, M.: Cyclic Involutive Distributive Full Lambek Calculus Is Decidable. Journal of Logic and Computation 21, 231-252 (2011)
Kozak, M.: Strong Negation in Intuitionistic Style Sequent Systems for Residuated Lattices. Manuscript (2012)
Mints, G.: Cut Elimination Theorem for Relevant Logics. Journal of Mathematical Sciences 6, 422-428 (1976). Translated from Issledovanija po konstructivnoj mathematike I matematiceskoj logike V, Izdatelstvo Nauka, 1972.
Rasiowa, H.: N-Lattices and Constructive Logic with Strong Negation. Fundamenta Mathematicae 46, 61-80 (1958)
Spinks, M., Veroff, R.: Constructive Logic with Strong Negation Is a Substructural Logic. I. Studia Logica 88, 325-348 (2008)
Spinks, M., Veroff, R.: Constructive Logic with Strong Negation Is a Substructural Logic. II. Studia Logica 89, 401-425 (2008)
Zaslavsky, I.D.: Symmetric Constructive Logic (in Russian). Publishing House of Academy of Sciences of Armenia SSR (1978)
Downloads
Published
How to Cite
Issue
Section
License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
