Investigations into the system of intuitionistic logic

zbMath0313.02014MaRDI QIDQ1219802

Stanislaw Jaskowski

Publication date: 1975

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (6)

Correspondence analysis and automated proof-searching for first degree entailment ⋮ GÖDEL ON MANY-VALUED LOGIC ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ A semantic hierarchy for intuitionistic logic ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis

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