Graduate studies at Western
Studia Logica 84 (1):63 - 104 (2006)
|Abstract||A logic is selfextensional if its interderivability (or mutual consequence) relation is a congruence relation on the algebra of formulas. In the paper we characterize the selfextensional logics with a conjunction as the logics that can be defined using the semilattice order induced by the interpretation of the conjunction in the algebras of their algebraic counterpart. Using the charactrization we provide simpler proofs of several results on selfextensional logics with a conjunction obtained in  using Gentzen systems. We also obtain some results on Fregean logics with conjunction.|
|Keywords||algebraic logic selfextensional logic Fregan logic algebraizable logic generalized matrix full generalized model fully adequate Gentzen system|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Chris Mortensen (1984). Aristotle's Thesis in Consistent and Inconsistent Logics. Studia Logica 43 (1-2):107 - 116.
K. Britz (1999). A Power Algebra for Theory Change. Journal of Logic, Language and Information 8 (4):429-443.
Greg Restall (1994). Subintuitionistic Logics. Notre Dame Journal of Formal Logic 35 (1):116-129.
Greg Restall (1997). Combining Possibilities and Negations. Studia Logica 59 (1):121-141.
Josep M. Font & Ventura Verdú (1991). Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica 50 (3-4):391 - 419.
J. M. Font & V. Verdú (1993). Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica 52 (1):181.
Added to index2009-01-28
Total downloads7 ( #142,403 of 735,113 )
Recent downloads (6 months)1 ( #61,269 of 735,113 )
How can I increase my downloads?