scientific article; zbMATH DE number 496003

zbMath0788.06012MaRDI QIDQ4277651

Silvio Ghilardi

Publication date: 7 February 1994

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

zbMATH Keywords

normal formmodal logic S4difference operationbi-Heyting algebrasinductive colimit

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items

Free Heyting Algebras: Revisited ⋮ An algebraic theory of normal forms ⋮ Duality and Universal Models for the Meet-Implication Fragment of IPC ⋮ Tarski's theorem on intuitionistic logic, for polyhedra ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Free equivalential algebras ⋮ On Bellissima's construction of the finitely generated free Heyting algebras, and beyond ⋮ The bounded proof property via step algebras and step frames ⋮ Canonical Extensions, Esakia Spaces, and Universal Models