scientific article; zbMATH DE number 4212001

MaRDI QIDQ3360158zbMATH OpenFDO

Authors Piotr Łukowski

Publication date 1990

zbMATH Keywords

completenessintuitionistic logic with classical identity

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4164793
• An investigation into intuitionistic logic with identity
• Intuitionistic logic according to Dijkstra's calculus of equational deduction
• scientific article; zbMATH DE number 3950491
• Base-extension semantics for intuitionistic sentential logic

Cited in

(10)

• Tableau-based decision procedure for non-Fregean logic of sentential identity
• Adjoint interpretations of sentential calculi
• A hierarchy of classical and paraconsistent logics
• scientific article; zbMATH DE number 4212000 (Why is no real title available?)
• Extending metacompleteness to systems with classical formulae
• scientific article; zbMATH DE number 4164793 (Why is no real title available?)
• scientific article; zbMATH DE number 1984524 (Why is no real title available?)
• An investigation into intuitionistic logic with identity
• scientific article; zbMATH DE number 7700618 (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 Q3360158)