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

DOI10.1017/S0960129523000348MaRDI QIDQ6646010FDOQ6646010

Authors: Dominik Wehr, Dominik Kirst 

Publication date: 29 November 2024

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

zbMATH Keywords

first-order logicgame semanticsdialogue gamesconstructive type theorycompleteness theorems

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Dialogues, strategies, and intuitionistic provability
• Title not available (Why is that?)
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Title not available (Why is that?)
• Completeness theorems for first-order logic analysed in constructive type theory
• Explicit substitutions
• Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
• Completeness theorems for first-order logic analysed in constructive type theory
• 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)