Very intuitionistic theories and quantifier elimination

MaRDI QIDQ487231zbMATH OpenFDO

Authors 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

intuitionistic logicquantifier eliminationKripke model

Mathematics Subject Classification ID

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

Recommendations

• Quantifier elimination for a class of intuitionistic theories
• Categoricity and quantifier elimination for intuitionistic theories
• On elimination of quantifiers in some non-classical mathematical theories
• On the quantificational logic of intuitionistic set theory
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC

Cited in

(6)

• Some preservation theorems in an intermediate logic
• Elimination problems in logic: a brief history
• Categoricity and quantifier elimination for intuitionistic theories
• scientific article; zbMATH DE number 5295821 (Why is no real title available?)
• On elimination of quantifiers in some non-classical mathematical theories
• Quantifier elimination for a class of intuitionistic theories

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q487231)