One superintuitionistic calculus of propositions

DOI10.1007/BF01979880zbMATH Open0635.03018OpenAlexW2011675889MaRDI QIDQ1097259FDOQ1097259

Authors: Dmitrij Skvortsov 

Publication date: 1985

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187309

Recommendations

• scientific article; zbMATH DE number 850397
• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
• On the number of variables in undecidable superintuitionistic propositional calculi
• Metalogic of intuitionistic propositional calculus
• Properties of superintuitionistic propositional calculi

zbMATH Keywords

intermediate logicpropositional superintuitionistic logic

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (4)

• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
• [Russian Text Ignored.]
• Title not available (Why is that?)
• On the number of variables in undecidable superintuitionistic propositional calculi

This page was built for publication: One superintuitionistic calculus of propositions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1097259)