scientific article

zbMATH Open0417.03010MaRDI QIDQ3206929FDOQ3206929

Valentin Shehtman

Publication date: 1978

Title of this publication is not available (Why is that?)

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)

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

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)