The Finite Model Property for Knotted Extensions of Propositional Linear Logic
Journal of Symbolic Logic 70 (1):84 - 98 (2005)
| Abstract | The logics considered here are the propositional Linear Logic and propositional Intuitionistic Linear Logic extended by a knotted structural rule: $\frac{\Gamma,\,x^{n}\,\Rightarrow \,y}{\Gamma,\,x^{m}\,\Rightarrow \,y}$ . It is proved that the class of algebraic models for such a logic has the finite embeddability property, meaning that every finite partial subalgebra of an algebra in the class can be embedded into a finite full algebra in the class. It follows that each such logic has the finite model property with respect to its algebraic semantics and hence that the logic is decidable. | |||||||||
| 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,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesC. J. van Alten (2005). The Finite Model Property for Knotted Extensions of Propositional Linear Logic. Journal of Symbolic Logic 70 (1):84-98.
Mitsuhiro Okada & Kazushige Terui (1999). The Finite Model Property for Various Fragments of Intuitionistic Linear Logic. Journal of Symbolic Logic 64 (2):790-802.
Andreja Prijatelj (1996). Bounded Contraction and Gentzen-Style Formulation of Łukasiewicz Logics. Studia Logica 57 (2-3):437 - 456.
Frank Wolter (1995). The Finite Model Property in Tense Logic. Journal of Symbolic Logic 60 (3):757-774.
C. J. Van Alten & J. G. Raftery (1999). The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. Studia Logica 63 (2):213 - 222.
C. J. van Alten & J. G. Raftery (1999). The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. Studia Logica 63 (2):213-222.
Clint J. Van Alten & James G. Raftery (2004). Rule Separation and Embedding Theorems for Logics Without Weakening. Studia Logica 76 (2):241-274.
Clint J. Van Alten & James G. Raftery (2004). Rule Separation and Embedding Theorems for Logics Without Weakening. Studia Logica 76 (2):241 - 274.
Rajeev Goré (1994). Cut-Free Sequent and Tableau Systems for Propositional Diodorean Modal Logics. Studia Logica 53 (3):433 - 457.
Larisa Maksimova (2006). Projective Beth Property in Extensions of Grzegorczyk Logic. Studia Logica 83 (1-3):365 - 391.
Ian Hodkinson (2002). Loosely Guarded Fragment of First-Order Logic has the Finite Model Property. Studia Logica 70 (2):205 - 240.
Michael Zakharyaschev (1997). The Greatest Extension of S4 Into Which Intuitionistic Logic is Embeddable. Studia Logica 59 (3):345-358.
Yves Lafont (1997). The Finite Model Property for Various Fragments of Linear Logic. Journal of Symbolic Logic 62 (4):1202-1208.
Eric Rosen (1997). Modal Logic Over Finite Structures. Journal of Logic, Language and Information 6 (4):427-439.
Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2).
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-05-29Total downloads1 ( #274,652 of 549,065 )Recent downloads (6 months)1 ( #63,185 of 549,065 )How can I increase my downloads? |
My notes
Discussion
