scientific article
From MaRDI portal
Publication:3874172
zbMath0435.03011MaRDI QIDQ3874172
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
2-person games (91A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Collected or selected works; reprintings or translations of classics (01A75) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Intuitionistic mathematics (03F55)
Related Items
Game Semantics and the Manifestation Thesis ⋮ Logicism as making arithmetic explicit ⋮ Games for hybrid logic. From semantic games to analytic calculi ⋮ Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution ⋮ Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD ⋮ From reasonable preferences, via argumentation, to logic ⋮ Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation ⋮ The logic of empirical theories revisited ⋮ Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus ⋮ Arguments, Proofs, and Dialogues ⋮ Mathematical Arguments and Distributed Knowledge ⋮ Logical dialogues with explicit preference profiles and strategy selection ⋮ A dialogical route to logical pluralism ⋮ Dialogue structure and logical expressivism ⋮ Resource modalities in tensor logic ⋮ Unnamed Item ⋮ Logic, Reasoning, Argumentation: Insights from the Wild ⋮ The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting ⋮ First-order dialogical games and tableaux ⋮ A curious dialogical logic and its composition problem ⋮ The Truth of Proof: A Hegelian Perspective on Constructivism ⋮ Unnamed Item ⋮ The foundations of DeLP: Defeating relations, games and truth values ⋮ Beliefs supported by binary arguments ⋮ Dialectic, the Dictum de Omni and Ecthesis ⋮ Meaning and dialogue coherence: A proof-theoretic investigation ⋮ Towards Verification of Dialogue Protocols: A Mathematical Model ⋮ Evaluating dialectical structures ⋮ Argumentation in artificial intelligence ⋮ Program Testing and the Meaning Explanations of Intuitionistic Type Theory ⋮ Dialogue Games for Minimal Logic ⋮ Dialogues, strategies, and intuitionistic provability ⋮ Operation and Predicativity: Lorenzen’s Approach to Arithmetic ⋮ Connecting Sequent Calculi with Lorenzen-Style Dialogue Games ⋮ Inconsistency-adaptive dialogical logic
