A correction to The completeness theorems for some intuitionistic logics in terms of interval semantics
From MaRDI portal
Publication:1821769
DOI10.2977/PRIMS/1195177856zbMATH Open0617.03006OpenAlexW403529505MaRDI QIDQ1821769
Publication date: 1986
Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2977/prims/1195177856
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55)
Related Items (4)
The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics ⋮ Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms ⋮ Correction ⋮ CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
This page was built for publication: A correction to The completeness theorems for some intuitionistic logics in terms of interval semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1821769)
