Very intuitionistic theories and quantifier elimination

zbMath1303.03070MaRDI QIDQ487231

Wim Ruitenburg

Publication date: 19 January 2015

Published in: The Review of Modern Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.rml/1203432183

zbMATH Keywords

quantifier eliminationintuitionistic logicKripke model

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Some preservation theorems in an intermediate logic

This page was built for publication: Very intuitionistic theories and quantifier elimination