Publication:3206929: Difference between revisions
From MaRDI portal
Publication:3206929
Created automatically from import240129110113 |
(No difference)
|
Latest revision as of 22:03, 3 February 2024
zbMATH Open0417.03010MaRDI QIDQ3206929FDOQ3206929
Publication date: 1978
Title of this publication is not available (Why is that?)
Kripke modelssemi-Thue systemsdegree of undecidabilityfinitely axiomatizable superintuitionistic propositional calculus
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)
