Very intuitionistic theories and quantifier elimination
From MaRDI portal
Publication:487231
zbMATH Open1303.03070MaRDI QIDQ487231FDOQ487231
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
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
Intuitionistic mathematics (03F55) Quantifier elimination, model completeness, and related topics (03C10)
Cited In (6)
- Some preservation theorems in an intermediate logic
- Title not available (Why is that?)
- Categoricity and quantifier elimination for intuitionistic theories
- On elimination of quantifiers in some non-classical mathematical theories
- Elimination problems in logic: a brief history
- 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)
