Graduate studies at Western
|Abstract||We investigate the relationship between three-valued Kripke/Kleene semantics and stratiﬁed semantics for stratiﬁable logic programs. We ﬁrst show these are compatible, in the sense that if the three-valued semantics assigns a classical truth value, the stratiﬁed approach will assign the same value. Next, the familiar ﬁxed point semantics for pure Horn clause programs gives both smallest and biggest ﬁxed points fundamental roles. We show how to extend this idea to the family of stratiﬁable logic programs, producing a semantics we call weak stratiﬁed. Finally, we show weak stratiﬁed semantics coincides exactly with the three-valued approach on stratiﬁable programs, though the three-valued version is generally applicable, and does not require stratiﬁcation assumptions.|
|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
Edwin D. Mares (2004). “Four-Valued” Semantics for the Relevant Logic R. Journal of Philosophical Logic 33 (3):327-341.
A. S. Karpenko (1983). Factor Semantics Forn-Valued Logics. Studia Logica 42 (2-3):179 - 185.
A. Avron (2009). Multi-Valued Semantics: Why and How. Studia Logica 92 (2):163 - 182.
A. Avron & B. Konikowska (2008). Rough Sets and 3-Valued Logics. Studia Logica 90 (1):69 - 92.
Greg Restall (1995). Four-Valued Semantics for Relevant Logics (and Some of Their Rivals). Journal of Philosophical Logic 24 (2):139 - 160.
João Marcos (2009). What is a Non-Truth-Functional Logic? Studia Logica 92 (2):215 - 240.
Melvin Fitting (1995). Tableaus for Many-Valued Modal Logic. Studia Logica 55 (1):63 - 87.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
J. Michael Dunn (2000). Partiality and its Dual. Studia Logica 66 (1):5-40.
Sorry, there are not enough data points to plot this chart.
Added to index2010-12-22
Total downloads2 ( #246,694 of 739,439 )
Recent downloads (6 months)1 ( #61,680 of 739,439 )
How can I increase my downloads?