An algebraic approach to canonical formulas: Intuitionistic case
Review of Symbolic Logic 2 (3):517-549 (2009)
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesNobu-Yuki Suzuki (1989). An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics. Studia Logica 48 (2):141 - 155.
Guram Bezhanishvili, Silvio Ghilardi & Mamuka Jibladze (2010). An Algebraic Approach to Subframe Logics. Modal Case. Notre Dame Journal of Formal Logic 52 (2):187-202.
Guram Bezhanishvili (1998). Varieties of Monadic Heyting Algebras. Part I. Studia Logica 61 (3):367-402.
Nick Bezhanishvili (2008). Frame Based Formulas for Intermediate Logics. Studia Logica 90 (2):139 - 159.
Klaus Denecke & Dara Phusanga (2008). Hyperformulas and Solid Algebraic Systems. Studia Logica 90 (2):263 - 286.
Tatsuya Shimura (1993). Kripke Completeness of Some Intermediate Predicate Logics with the Axiom of Constant Domain and a Variant of Canonical Formulas. Studia Logica 52 (1):23 - 40.
Cecylia Rauszer (1980). An Algebraic and Kripke-Style Approach to a Certain Extension of Intuitionistic Logic. [Available From Ars Polona].
Giovanni Sambin (1976). An Effective Fixed-Point Theorem in Intuitionistic Diagonalizable Algebras. Studia Logica 35 (4):345 - 361.
Nick Bezhanishvili & Dick Jongh (2012). Extendible Formulas in Two Variables in Intuitionistic Logic. Studia Logica 100 (1-2):61-89.
Guram Bezhanishvili & Nick Bezhanishvili (2011). An Algebraic Approach to Canonical Formulas: Modal Case. Studia Logica 99 (1-3):93-125.
Analytics
Monthly downloads |
Added to index2009-10-06Total downloads10 ( #106,370 of 549,122 )Recent downloads (6 months)1 ( #63,361 of 549,122 )How can I increase my downloads? |
My notes
Discussion
