Material dialogues for first-order logic in constructive type theory

DOI10.1007/978-3-031-15298-6_22OpenAlexW4297809224MaRDI QIDQ6160754

Dominik Kirst, Dominik Wehr

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

first-order logicconstructive type theorydialogue gamesgame semantics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dialogues, strategies, and intuitionistic provability
• The calculus of constructions
• Completeness theorems for first-order logic analysed in constructive type theory
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Completeness theorems for first-order logic analysed in constructive type theory

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