References of "Studia Logica"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailResource-origins of Nonmonotonicity
Gabbay, Dov M. UL; Woods, John

in Studia Logica (2008), 88(1), 85112

Formal nonmonotonic systems try to model the phenomenon that common sense reasoners are able to “jump” in their reasoning from assumptions ∆ to conclusions C without their being any deductive chain from ∆ ... [more ▼]

Formal nonmonotonic systems try to model the phenomenon that common sense reasoners are able to “jump” in their reasoning from assumptions ∆ to conclusions C without their being any deductive chain from ∆ to C. Such jumps are done by various mechanisms which are strongly dependent on context and knowledge of how the actual world functions. Our aim is to motivate these jump rules as inference rules designed to optimise survival in an environment with scant resources of effort and time. We begin with a general discussion and quickly move to Section 3 where we introduce five resource principles. We show that these principles lead to some well known nonmonotonic systems such as Nute’s defeasible logic. We also give several examples of practical reasoning situations to illustrate our principles. [less ▲]

Detailed reference viewed: 111 (1 UL)
Full Text
Peer Reviewed
See detailA Duality for the Algebras of a Łukasiewicz n + 1-valued Modal System
Teheux, Bruno UL

in Studia Logica (2007), 87(1), 13-36

n this paper, we develop a duality for the varieties of a Łukasiewicz n + 1-valued modal system. This duality is an extension of Stone duality for modal algebras. Some logical consequences (such as ... [more ▼]

n this paper, we develop a duality for the varieties of a Łukasiewicz n + 1-valued modal system. This duality is an extension of Stone duality for modal algebras. Some logical consequences (such as completeness results, correspondence theory...) are then derived and we propose some ideas for future research. [less ▲]

Detailed reference viewed: 174 (10 UL)