scientific article; zbMATH DE number 218533

MaRDI QIDQ4694249zbMATH OpenFDO

Authors Wojciech Dzik

Publication date 29 June 1993

zbMATH Keywords

complete Heyting algebrasintuitionistic predicate logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• scientific article; zbMATH DE number 19690
• scientific article; zbMATH DE number 4110668
• An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
• Neighbourhood and lattice models of second-order intuitionistic propositional logic

Cited in

(3)

• Tarski's theorem on intuitionistic logic, for polyhedra
• scientific article; zbMATH DE number 19690 (Why is no real title available?)
• Generalizations of Boolean algebras. An attribute exploration

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4694249)