✦ LIBER ✦

Interpolation and definability in abstract logics

✍ Scribed by Finn V. Jensen

Publisher: Springer Netherlands
Year: 1974
Tongue: English
Weight: 277 KB
Volume: 27
Category: Article
ISSN: 0039-7857
DOI: 10.1007/bf00660898

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Definability and Interpolation in Non-Cl

Definability and Interpolation in Non-Classical Logics

✍ Larisa Maksimova 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 245 KB

Definability and automorphisms in abstra

Definability and automorphisms in abstract logics

✍ Xavier Caicedo 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 160 KB

Interpolation and Definability in Extens

Interpolation and Definability in Extensions of the Minimal Logic

✍ L. L. Maksimova 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 232 KB

Beth definability, interpolation and lan

Beth definability, interpolation and language splitting

✍ Rohit Parikh 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 156 KB

Interpolation in non-classical logics

✍ Giovanna D’Agostino 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 193 KB

Amalgamation and interpolation in normal

Amalgamation and interpolation in normal modal logics

✍ Larisa Maksimova 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 740 KB

This is a survey of results on interpolation in propositional normal modal logics. Interpolation properties of these logics are closely connected with amalgamation properties of varieties of modal algebras. Therefore, the results on interpolation are also reformulated in terms of amalgamation.