Investigations into the system of intuitionistic logic

MaRDI QIDQ1219802zbMATH OpenFDO

Authors Stanislaw Jaskowski

Publication date 1975

Published in Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Collected or selected works; reprintings or translations of classics (01A75) Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Cited in

(6)

• A semantic hierarchy for intuitionistic logic
• Correspondence analysis and automated proof-searching for first degree entailment
• Automated correspondence analysis for the binary extensions of the logic of paradox
• Generalizing functional completeness in Belnap-Dunn logic
• Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
• GÖDEL ON MANY-VALUED LOGIC

This page was built for publication: Investigations into the system of intuitionistic logic

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