Selfextensional Logics with a Conjunction

Studia Logica 84 (1):63-104 (2006)
  Copy   BIBTEX


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 [13] using Gentzen systems. We also obtain some results on Fregean logics with conjunction.



    Upload a copy of this work     Papers currently archived: 92,197

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Representing any-time and program-iteration by infinitary conjunction.Norihiro Kamide - 2013 - Journal of Applied Non-Classical Logics 23 (3):284 - 298.
Fully Fregean logics.Sergei Babyonyshev - 2003 - Reports on Mathematical Logic:59-77.
Substructural Logics in Natural Deduction.Ernst Zimmermann - 2007 - Logic Journal of the IGPL 15 (3):211-232.
Weakly algebraizable logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
To distribute or not to distribute?Jean-Yves Béziau & Marcelo E. Coniglio - 2011 - Logic Journal of the IGPL 19 (4):466-583.
A Generalization of the Routley-Meyer Semantic Framework.Morgan Thomas - 2015 - Journal of Philosophical Logic 44 (4):411-427.
Some Logics Related to von Wright's Logic of Place.Ramón Jansana - 1994 - Notre Dame Journal of Formal Logic 35 (1):88-98.
Abstract modal logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.


Added to PP

62 (#261,233)

6 months
13 (#199,525)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ramon Jansana Ferrer
Universitat de Barcelona

References found in this work

Algebraizable Logics.W. J. Blok & Don Pigozzi - 2022 - Advanced Reasoning Forum.
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Protoalgebraic Logics.Janusz Czelakowski - 2001 - Kluwer Academic Publishers.

View all 23 references / Add more references