Dialogspiele als Semantische Grundlage von Logikkalkülen
From MaRDI portal
Publication:5569434
DOI10.1007/BF01973341zbMath0179.01302OpenAlexW4250522339MaRDI QIDQ5569434
Publication date: 1968
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137805
Related Items (18)
A constructive game semantics for the language of linear logic ⋮ Alternating (in)dependence-friendly logic ⋮ Modal quantum logic and its dialogic foundation ⋮ First-order dialogical games and tableaux ⋮ A curious dialogical logic and its composition problem ⋮ On Semantic Games for Łukasiewicz Logic ⋮ Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus ⋮ A game semantics for linear logic ⋮ From games to truth functions: a generalization of Giles's game ⋮ A non-classical logic for physics ⋮ Quantum logic of quantifiers ⋮ Is (quantum) logic empirical? ⋮ How does quantum logic correspond to physical reality? ⋮ Functional completeness for subsystems of intuitionistic propositional logic ⋮ The logic of tasks ⋮ Dialogues, strategies, and intuitionistic provability ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics ⋮ Inconsistency-adaptive dialogical logic
Cites Work
- The foundations of mathematics. A study in the philosophy of science
- Remarks on the completeness of logical systems relative to the validity- concepts of P. Lorenzen and K. Lorenz
- Proof of the independence of the primitive symbols of Heyting's calculus of propositions
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Dialogspiele als Semantische Grundlage von Logikkalkülen