Dialogspiele als Semantische Grundlage von Logikkalkülen

DOI10.1007/BF01973341zbMath0179.01302OpenAlexW4250522339MaRDI QIDQ5569434

Kuno Lorenz

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

zbMATH Keywords

algebraic logic, model theory

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