scientific article; zbMATH DE number 169733

MaRDI QIDQ4038407zbMATH OpenFDO

Authors Piotr Łukowski

Publication date 16 May 1993

zbMATH Keywords

Grzegorczyk-Kripke modelsintuitionistic logicintuitionistic sentential calculus with identitymatrix frame semanticspossible world

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other nonclassical logic (03B60)

Recommendations

• scientific article; zbMATH DE number 4164793
• scientific article; zbMATH DE number 179051
• An investigation into intuitionistic logic with identity
• scientific article; zbMATH DE number 3950491
• A reinterpretation of the semilattice semantics with applications

Cited in

(2)

• scientific article; zbMATH DE number 4164793 (Why is no real title available?)
• Decidability of intuitionistic sentential logic with identity via sequent calculus

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 Q4038407)