scientific article; zbMATH DE number 3657810

MaRDI QIDQ3856774zbMATH OpenFDO

Authors Tadeusz Prucnal

Publication date 1978

zbMATH Keywords

modal logicfree algebraintuitionistic propositional logicS4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Cited in

(1)

• On two problems of Harvey Friedman

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