Preservativity logic: An analogue of interpretability logic for constructive theories
From MaRDI portal
Publication:4808463
DOI10.1002/malq.200310023zbMath1024.03061OpenAlexW2123771031MaRDI QIDQ4808463
Publication date: 22 May 2003
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200310023
modal logicHeyting arithmeticintuitionistic logicinterpretability logicprovability logicmodal completenesspreservativity logic
Metamathematics of constructive systems (03F50) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items
Implication via spacetime, Lewis meets Brouwer: constructive strict implication, Proof theory for admissible rules, INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES