Study of inference rules for quantifiers in first-order logic inference system

DOI10.7612/J.ISSN.1000-2537.2017.03.016MaRDI QIDQ4640805zbMATH OpenFDO

Authors Wenlong Wang, Bofeng Zhang

Publication date 25 May 2018

Full work available at URL https://doi.org/10.7612/J.ISSN.1000-2537.2017.03.016

zbMATH Keywords

existential quantifierfirst-order logicinference rulesuniversal quantifier

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Recommendations

• scientific article; zbMATH DE number 1163940
• scientific article; zbMATH DE number 4106817
• Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate
• Quantifier handling issues in computer-oriented intuitionistic calculi
• Rule of inference in gradational lattice-valued propositional logic \(\mathrm{L_{vpl}}\)

This page was built for publication: Study of inference rules for quantifiers in first-order logic inference system

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