Graduate studies at Western
|Abstract||Many-valued1 and Kripke semantics are generalizations of classical semantics in two different "opposite" ways. Many-valued semantics keep the idea of homomorphisms between the structure of the language and an algebra of truth-functions, but the domain of the algebra may have more than two values. Kripke semantics keep only two values but a relation between bivaluations is introduced.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Eiko Isoda (1997). Kripke Bundle Semantics and C-Set Semantics. Studia Logica 58 (3):395-401.
Nobu-Yuki Suzuki (1999). Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics. Studia Logica 63 (3):387-416.
A. Avron (2009). Multi-Valued Semantics: Why and How. Studia Logica 92 (2):163 - 182.
A. S. Karpenko (1983). Factor Semantics Forn-Valued Logics. Studia Logica 42 (2-3):179 - 185.
Edwin D. Mares (2004). “Four-Valued” Semantics for the Relevant Logic R. Journal of Philosophical Logic 33 (3):327-341.
J. Michael Dunn (2000). Partiality and its Dual. Studia Logica 66 (1):5-40.
Scott Soames (2006). Kripke, the Necessary a Posteriori, and the Two-Dimensionalist Heresy. In Garc (ed.), Two-Dimensional Semantics. Oxford: Clarendon Press.
Melvin Fitting (1995). Tableaus for Many-Valued Modal Logic. Studia Logica 55 (1):63 - 87.
Nobu-Yuki Suzuki (1993). Some Results on the Kripke Sheaf Semantics for Super-Intuitionistic Predicate Logics. Studia Logica 52 (1):73 - 94.
Added to index2010-12-22
Total downloads16 ( #81,883 of 738,868 )
Recent downloads (6 months)1 ( #61,778 of 738,868 )
How can I increase my downloads?