Investigations into the system of intuitionistic logic
From MaRDI portal
Publication:1219802
zbMATH Open0313.02014MaRDI QIDQ1219802FDOQ1219802
Authors: Stanislaw Jaskowski 
Publication date: 1975
Published in: Studia Logica (Search for Journal in Brave)
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
- Automated correspondence analysis for the binary extensions of the logic of paradox
- Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
- Generalizing functional completeness in Belnap-Dunn logic
- Correspondence analysis and automated proof-searching for first degree entailment
- 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)
