scientific article; zbMATH DE number 3370308

zbMath0234.02017MaRDI QIDQ5642540

Dov M. Gabbay

Publication date: 1971

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (9)

Generalized interpolation in CASL ⋮ On propositional definability ⋮ On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic ⋮ A note on Schütte's interpolation theorem ⋮ Craig interpolation for networks of sentences ⋮ Logical consequence and the paradoxes ⋮ Logics without Craig's interpolation property ⋮ Maksimova, Relevance and the Study of Lattices of Non-classical Logics ⋮ On a generalized modularization theorem

This page was built for publication: