On the elimination of some higher type quantifiers

DOI10.1017/S0960129501003401MaRDI QIDQ4534183zbMATH OpenOpenAlexFDO

Authors Yasuwo Ikeda, Kohji Tomita, Chiharu Hosono

Publication date 10 October 2002

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129501003401

zbMATH Keywords

higher type quantifiers

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• On elimination of quantifiers in some non-classical mathematical theories
• Towards incorporating background theories into quantifier elimination
• scientific article; zbMATH DE number 1301870
• scientific article; zbMATH DE number 4039866
• On the elimination of quantifier-free cuts

Cited in

(1)

• Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type

This page was built for publication: On the elimination of some higher type quantifiers

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