Studia Logica 63 (3):387-416 (1999)
|Abstract||In so-called Kripke-type models, each sentence is assigned either to true or to false at each possible world. In this setting, every possible world has the two-valued Boolean algebra as the set of truth values. Instead, we take a collection of algebras each of which is attached to a world as the set of truth values at the world, and obtain an extended semantics based on the traditional Kripke-type semantics, which we call here the algebraic Kripke semantics. We introduce algebraic Kripke sheaf semantics for super-intuitionistic and modal predicate logics, and discuss some basic properties. We can state the Gödel-McKinsey-Tarski translation theorem within this semantics. Further, we show new results on super-intuitionistic predicate logics. We prove that there exists a continuum of super-intuitionistic predicate logics each of which has both of the disjunction and existence properties and moreover the same propositional fragment as the intuitionistic logic.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Yuichi Komori (1986). A New Semantics for Intuitionistic Predicate Logic. Studia Logica 45 (1):9 - 17.
Nobu-Yuki Suzuki (1997). Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics. Studia Logica 59 (2):249-269.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Yuichi Komori (1986). Predicate Logics Without the Structure Rules. Studia Logica 45 (4):393 - 404.
Dmitrij Skvortsov (1998). On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. Studia Logica 61 (2):281-292.
Nobu-Yuki Suzuki (1995). Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic. Studia Logica 54 (2):173 - 198.
Eiko Isoda (1997). Kripke Bundle Semantics and C-Set Semantics. Studia Logica 58 (3):395-401.
Nobu-Yuki Suzuki (1989). An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics. Studia Logica 48 (2):141 - 155.
Nobu -Yuki Suzuki (1990). Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics. Studia Logica 49 (3):289 - 306.
Nobu-Yuki Suzuki (1993). Some Results on the Kripke Sheaf Semantics for Super-Intuitionistic Predicate Logics. Studia Logica 52 (1):73 - 94.
Added to index2009-01-28
Total downloads9 ( #114,188 of 549,372 )
Recent downloads (6 months)1 ( #63,397 of 549,372 )
How can I increase my downloads?