On the elimination of some higher type quantifiers

DOI10.1017/S0960129501003401zbMATH Open0994.68023OpenAlexW2078316939MaRDI QIDQ4534183FDOQ4534183

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

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

zbMATH Keywords

higher type quantifiers

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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)