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

DOI10.1017/S0960129523000348MaRDI QIDQ6646010zbMATH OpenFDO

Authors Dominik Wehr, Dominik Kirst

Publication date 29 November 2024

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

first-order logicgame semanticsdialogue gamesconstructive type theorycompleteness theorems

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• 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?)
• 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
• Explicit substitutions
• Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
• Material dialogues for first-order logic in constructive type theory

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

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