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
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, Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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