Material dialogues for first-order logic in constructive type theory

DOI10.1007/978-3-031-15298-6_22MaRDI QIDQ6160754zbMATH OpenOpenAlexFDO

Authors Dominik Wehr, Dominik Kirst

Publication date 2 June 2023

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-15298-6_22

zbMATH Keywords

constructive type theorydialogue gamesfirst-order logicgame semantics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Completeness theorems for first-order logic analysed in constructive type theory
• Completeness theorems for first-order logic analysed in constructive type theory
• Dialogue interpretation of the classical predicate calculus
• First-order dialogical games and tableaux
• Dialogue games for minimal logic

Cites work

• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Completeness theorems for first-order logic analysed in constructive type theory
• Completeness theorems for first-order logic analysed in constructive type theory
• Dialogues, strategies, and intuitionistic provability
• scientific article; zbMATH DE number 3115105 (Why is no real title available?)
• scientific article; zbMATH DE number 512790 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• scientific article; zbMATH DE number 3190338 (Why is no real title available?)
• The calculus of constructions

Cited in

(1)

• Material dialogues for first-order logic in constructive type theory: extended version

This page was built for publication: Material dialogues for first-order logic in constructive type theory

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