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

Ramon Jansana Ferrer
Universitat de Barcelona
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.
Keywords Philosophy   Computational Linguistics   Mathematical Logic and Foundations   Logic
Categories (categorize this paper)
DOI 10.1007/s11225-006-9003-z
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,323
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Warszawa, Pwn - Polish Scientific 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.
Ontology in the Tractatus of L. Wittgenstein.Roman Suszko - 1968 - Notre Dame Journal of Formal Logic 9 (1):7-33.

View all 23 references / Add more references

Citations of this work BETA

Taking Degrees of Truth Seriously.Josep Maria Font - 2009 - Studia Logica 91 (3):383-406.

View all 18 citations / Add more citations

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 index

Total views
41 ( #261,451 of 2,448,700 )

Recent downloads (6 months)
1 ( #445,641 of 2,448,700 )

How can I increase my downloads?


My notes