Graduate studies at Western
Studia Logica 80 (2-3):159 - 194 (2005)
|Abstract||We investigate two large families of logics, differing from each other by the treatment of negation. The logics in one of them are obtained from the positive fragment of classical logic (with or without a propositional constant ff for “the false”) by adding various standard Gentzen-type rules for negation. The logics in the other family are similarly obtained from LJ+, the positive fragment of intuitionistic logic (again, with or without ff). For all the systems, we provide simple semantics which is based on non-deterministic four-valued or three-valued structures, and prove soundness and completeness for all of them. We show that the role of each rule is to reduce the degree of non-determinism in the corresponding systems. We also show that all the systems considered are decidable, and our semantics can be used for the corresponding decision procedures. Most of the extensions of LJ+ (with or without ff) are shown to be conservative over the underlying logic, and it is determined which of them are not|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Arnon Avron & Beata Konikowska (2009). Proof Systems for Reasoning About Computation Errors. Studia Logica 91 (2):273 - 293.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Arnon Avron, Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (In)Consistency.
Arnon Avron, Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (in)Consistency.
Greg Restall (1997). Combining Possibilities and Negations. Studia Logica 59 (1):121-141.
Added to index2009-01-28
Total downloads5 ( #170,394 of 740,407 )
Recent downloads (6 months)1 ( #61,960 of 740,407 )
How can I increase my downloads?