Annals of Pure and Applied Logic 165 (4):933-962 (2014)

Abstract
We introduce a family of notions of interpolation for sentential logics. These concepts generalize the ones for substructural logics introduced in [5]. We show algebraic characterizations of these notions for the case of equivalential logics and study the relation between them and the usual concepts of Deductive, Robinson, and Maehara interpolation properties
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2013.11.001
Options
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: 53,013
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

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.
Protoalgebraic Logics.Janusz Czelakowski - 2003 - Studia Logica 74 (1):313-342.

Add more references

Citations of this work BETA

The Simplest Protoalgebraic Logic.Josep Maria Font - 2013 - Mathematical Logic Quarterly 59 (6):435-451.

Add more citations

Similar books and articles

Analytics

Added to PP index
2014-01-25

Total views
15 ( #621,808 of 2,344,172 )

Recent downloads (6 months)
1 ( #514,058 of 2,344,172 )

How can I increase my downloads?

Downloads

My notes