Dialogspiele als Semantische Grundlage von Logikkalkülen
From MaRDI portal
Publication:5569434
DOI10.1007/BF01973341zbMath0179.01302MaRDI 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
First-order dialogical games and tableaux, A curious dialogical logic and its composition problem, Dialogues, strategies, and intuitionistic provability, Modal quantum logic and its dialogic foundation, A game semantics for linear logic, A non-classical logic for physics, Quantum logic of quantifiers, Is (quantum) logic empirical?, How does quantum logic correspond to physical reality?, A constructive game semantics for the language of linear logic, Functional completeness for subsystems of intuitionistic propositional logic, The logic of tasks, From games to truth functions: a generalization of Giles's game, Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus
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