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

Full work available at URL https://doi.org/10.1017/S0960129523000348

zbMATH Keywords

completeness theoremsconstructive type theorydialogue gamesfirst-order logicgame semantics

Mathematics Subject Classification ID

Computer science (68-XX)

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
• Explicit substitutions
• Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
• 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?)
• 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)