scientific article
From MaRDI portal
Publication:3705457
zbMath0582.03052MaRDI QIDQ3705457
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Interpolation, preservation, definability (03C40) Categories of sets, characterizations (18B05)
Related Items (14)
Ultraproducts and possible worlds semantics in institutions ⋮ Descent and duality ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention ⋮ Unnamed Item ⋮ Some Results on Locally Finitely Presentable Categories ⋮ On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic ⋮ Conceptual completeness for first-order intuitionistic logic: An application of categorical logic ⋮ Strong conceptual completeness for first-order logic ⋮ Unnamed Item ⋮ Preservation in many-valued truth institutions ⋮ Generalized sketches as a framework for completeness theorems. I-III ⋮ The institution-theoretic scope of logic theorems ⋮ A characterisation of the category of compact Hausdorff spaces
This page was built for publication: