Rule Separation and Embedding Theorems for Logics without Weakening
Studia Logica 76 (2):241 - 274 (2004)
| Abstract | A full separation theorem for the derivable rules of intuitionistic linear logic without bounds, 0 and exponemtials is proved. Several structural consequences of this theorem for subreducts of (commutative) residuated lattices are obtained. The theorem is then extended to the logic LR⁺ and its proof is extended to obtain the finite embeddability property for the class of square increasing residuated lattices. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesClint J. Van Alten & James G. Raftery (2004). Rule Separation and Embedding Theorems for Logics Without Weakening. Studia Logica 76 (2):241-274.
Hiroakira Ono (2003). Closure Operators and Complete Embeddings of Residuated Lattices. Studia Logica 74 (3):427 - 440.
M. W. Bunder (1982). Deduction Theorems for Weak Implicational Logics. Studia Logica 41 (2-3):95 - 108.
C. J. Van Alten (2005). The Finite Model Property for Knotted Extensions of Propositional Linear Logic. Journal of Symbolic Logic 70 (1):84 - 98.
Nikolaos Galatos & Hiroakira Ono (2006). Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics Over FL. Studia Logica 83 (1-3):279 - 308.
Ming Xu (2006). Some Embedding Theorems for Conditional Logic. Journal of Philosophical Logic 35 (6):599 - 619.
Guram Bezhanishvili (2001). Glivenko Type Theorems for Intuitionistic Modal Logics. Studia Logica 67 (1):89-109.
Larisa Maksimova (1995). On Variable Separation in Modal and Superintuitionistic Logics. Studia Logica 55 (1):99 - 112.
Eiji Kiriyama & Hlroakira Ono (1991). The Contraction Rule and Decision Problems for Logics Without Structural Rules. Studia Logica 50 (2):299 - 319.
Nikolaos Galatos & Hiroakira Ono (2006). Glivenko Theorems for Substructural Logics Over FL. Journal of Symbolic Logic 71 (4):1353 - 1384.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Frank Wolter (1998). On Logics with Coimplication. Journal of Philosophical Logic 27 (4):353-387.
Norihiro Kamide (2009). Proof Systems Combining Classical and Paraconsistent Negations. Studia Logica 91 (2):217 - 238.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Aleksandar Kron (1981). Gentzen Formulations of Two Positive Relevance Logics. Studia Logica 40 (3):381 - 403.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-05-29Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
