Preservativity logic: An analogue of interpretability logic for constructive theories

DOI10.1002/malq.200310023zbMath1024.03061OpenAlexW2123771031MaRDI QIDQ4808463

Rosalie Iemhoff

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

zbMATH Keywords

modal logicHeyting arithmeticintuitionistic logicinterpretability logicprovability logicmodal completenesspreservativity logic

Mathematics Subject Classification ID

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