A Syntactic Approach to Maksimova's Principle of Variable Separation for Some Substructural Logics
Notre Dame Journal of Formal Logic 39 (1):94-113 (1998)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesLarisa Maksimova (1995). On Variable Separation in Modal and Superintuitionistic Logics. Studia Logica 55 (1):99 - 112.
Nobu-Yuki Suzuki (2003). Halldén-Completeness in Super-Intuitionistic Predicate Logics. Studia Logica 73 (1):113 - 130.
Takahiro Seki (2012). Metacompleteness of Substructural Logics. Studia Logica 100 (6):1175-1199.
Yde Venema (1995). Meeting Strength in Substructural Logics. Studia Logica 54 (1):3 - 32.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Nikolaos Galatos & Hiroakira Ono (2006). Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics Over FL. Studia Logica 83 (1-3):279 - 308.
Larisa Maksimova (2006). Definability and Interpolation in Non-Classical Logics. Studia Logica 82 (2):271 - 291.
Heinrich Wansing (1993). Informational Interpretation of Substructural Propositional Logics. Journal of Logic, Language and Information 2 (4):285-308.
Norihiro Kamide (2003). Normal Modal Substructural Logics with Strong Negation. Journal of Philosophical Logic 32 (6):589-612.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. Journal of Philosophical Logic 27 (2):179-216.
Hiroakira Ono (2003). Closure Operators and Complete Embeddings of Residuated Lattices. Studia Logica 74 (3):427 - 440.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
