How to universally close the existential rule

DOI10.1007/978-3-642-16242-8_13MaRDI QIDQ4933304zbMATH OpenOpenAlexFDO

Authors Kai Brünnler

Publication date 12 October 2010

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16242-8_13

Mathematics Subject Classification ID

Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A basic free logic
• Free logic and the concept of existence
• Predicate logics without the structure rules
• A sequent calculus for a negative free logic
• Existential instantiation and normalization in sequent natural deduction

Cited in

(2)

• A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
• Nested sequents or tree-hypersequents -- a survey

This page was built for publication: How to universally close the existential rule

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