Graduate studies at Western
Review of Symbolic Logic 2 (1):102-131 (2009)
|Abstract||Relevance logics are known to be sound and complete for relational semantics with a ternary accessibility relation. This paper investigates the problem of adequacy with respect to special kinds of dynamic semantics (i.e., proper relation algebras and relevant families of relations). We prove several soundness results here. We also prove the completeness of a certain positive fragment of R as well as of the first-degree fragment of relevance logics. These results show that some core ideas are shared between relevance logics and relation algebras. Some details of certain incompleteness results, however, pinpoint where relevance logics and relation algebras diverge. To carry out these semantic investigations, we define a new tableaux formalization and new sequent calculi (with the single cut rule admissible) for various relevance logics|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Katalin Bimbó (2007). Functorial Duality for Ortholattices and de Morgan Lattices. Logica Universalis 1 (2):311-333.
Roger D. Maddux (1991). The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations. Studia Logica 50 (3-4):421 - 455.
Robin Hirsch, Ian Hodkinson & Roger D. Maddux (2002). Relation Algebra Reducts of Cylindric Algebras and an Application to Proof Theory. Journal of Symbolic Logic 67 (1):197-213.
Ramon Jansana (2006). Selfextensional Logics with a Conjunction. Studia Logica 84 (1):63 - 104.
Andrei Popescu (2005). Łukasiewicz-Moisil Relation Algebras. Studia Logica 81 (2):167 - 189.
István Németi (1991). Algebraization of Quantifier Logics, an Introductory Overview. Studia Logica 50 (3-4):485 - 569.
Roger D. Maddux (1994). Undecidable Semiassociative Relation Algebras. Journal of Symbolic Logic 59 (2):398-418.
George Georgescu (2006). N-Valued Logics and Łukasiewicz–Moisil Algebras. Axiomathes 16 (1-2):123-136.
Francesco Paoli, Matthew Spinks & Robert Veroff (2008). Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. Logica Universalis 2 (2):209-233.
Roger D. Maddux (1989). Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. Journal of Symbolic Logic 54 (3):951-974.
Added to index2009-05-29
Total downloads32 ( #43,496 of 739,395 )
Recent downloads (6 months)1 ( #61,680 of 739,395 )
How can I increase my downloads?