Sentential logics and Maehara interpolation property

Studia Logica 44 (3):265 - 283 (1985)
Abstract
With each sentential logic C, identified with a structural consequence operation in a sentential language, the class Matr * (C) of factorial matrices which validate C is associated. The paper, which is a continuation of [2], concerns the connection between the purely syntactic property imposed on C, referred to as Maehara Interpolation Property (MIP), and three diagrammatic properties of the class Matr* (C): the Amalgamation Property (AP), the (deductive) Filter Extension Property (FEP) and Injections Transferable (IT). The main theorem of the paper (Theorem 2.2) is analogous to the Wroski's result for equational classes of algebras [13]. It reads that for a large class of logics the conjunction of (AP) and (FEP) is equivalent to (IT) and that the latter property is equivalent to (MIP).
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00394446
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 31,385
Through your library
References found in this work BETA
An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Warszawa, Pwn - Polish Scientific Publishers.
Proof Theory.Gaisi Takeuti - 1987 - Elsevier.
Equivalential Logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.
Equivalential Logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.

View all 10 references / Add more references

Citations of this work BETA
Fragments of R-Mingle.W. J. Blok & J. G. Raftery - 2004 - Studia Logica 78 (1-2):59-106.
Logics Preserving Degrees of Truth.Marek Nowak - 1990 - Studia Logica 49 (4):483 - 499.

View all 7 citations / Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
16 ( #336,303 of 2,225,984 )

Recent downloads (6 months)
2 ( #251,215 of 2,225,984 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature