scientific article; zbMATH DE number 3648683

MaRDI QIDQ3206929zbMATHFDO

Authors Valentin Shehtman

Publication date 1978

zbMATH Keywords

Kripke modelssemi-Thue systemsdegree of undecidabilityfinitely axiomatizable superintuitionistic propositional calculus

Mathematics Subject Classification ID

Intermediate logics (03B55) Thue and Post systems, etc. (03D03) Undecidability and degrees of sets of sentences (03D35)

Cited in

(5)

• The disjunction property of intermediate propositional logics
• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
• Modal companions of intermediate propositional logics
• No non-trivial quasivariety of BCK-algebras has decidable first order theory
• Equations in free topoboolean algebra

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