Failure of interpolation in relevant logics
- 1 October 1993
- journal article
- research article
- Published by Springer Nature in Journal of Philosophical Logic
- Vol. 22 (5) , 449-479
- https://doi.org/10.1007/bf01349560
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- The undecidability of entailment and relevant implicationThe Journal of Symbolic Logic, 1984
- General Lattice TheoryPublished by Springer Nature ,1978
- The amalgamation property in equational classes of modular latticesPacific Journal of Mathematics, 1973
- Classes without the amalgamation propertyPacific Journal of Mathematics, 1969
- Relation algebras and projective geometries.The Michigan Mathematical Journal, 1961
- Representation of Modular Lattices and Of Relation AlgebrasTransactions of the American Mathematical Society, 1959
- A Result on Consistency and its Application to theTheory of DefinitionIndagationes Mathematicae, 1956