Interpolation and amalgamation properties in varieties of equivalential algebras

DOI10.1007/BF01881547zbMath0617.03040MaRDI QIDQ1821777

Małgorzata Porȩbska

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

interpolationintuitionistic logicamalgamationintermediate logicequivalential algebralogic fragment

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Varieties (08B99) Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items (1)

Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Interpolation and amalgamation properties in varieties of equivalential algebras