A result on the completeness of superintuitionistic logics

DOI10.1007/BF01139938zbMath0566.03017OpenAlexW2016180581MaRDI QIDQ1059064

A. Yu. Muravitskij

Publication date: 1984

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01139938

zbMATH Keywords

Kripke modelssuperintuitionistic logicpseudoboolean algebra

Mathematics Subject Classification ID

Intermediate logics (03B55) Categoricity and completeness of theories (03C35)

Cites Work

• Logics containing K4. Part I
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A result on the completeness of superintuitionistic logics