scientific article; zbMATH DE number 3677798
From MaRDI portal
Publication:3874172
Collected or selected works; reprintings or translations of classics (01A75) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Intuitionistic mathematics (03F55) Other constructive mathematics (03F65) 2-person games (91A05)
Cited in
(45)- Meaning and dialogue coherence: A proof-theoretic investigation
- Evaluating dialectical structures
- Argumentation in artificial intelligence
- Dialogues, strategies, and intuitionistic provability
- Logical dialogues with explicit preference profiles and strategy selection
- 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
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
- Inconsistency-adaptive dialogical logic
- Towards verification of dialogue protocols: a mathematical model
- Game semantics and the manifestation thesis
- Arguments, proofs, and dialogues
- Mathematical arguments and distributed knowledge
- Logicism as making arithmetic explicit
- The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting
- The truth of proof: a Hegelian perspective on constructivism
- From reasonable preferences, via argumentation, to logic
- The logic of empirical theories revisited
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
- Dialogue structure and logical expressivism
- Logic, reasoning, argumentation: insights from the wild
- Beliefs supported by binary arguments
- First-order dialogical games and tableaux
- A curious dialogical logic and its composition problem
- Dialogue games for minimal logic
- A game theoretical semantics for logics of nonsense
- Operation and predicativity: Lorenzen's approach to arithmetic
- Connecting sequent calculi with Lorenzen-style dialogue games
- scientific article; zbMATH DE number 7559460 (Why is no real title available?)
- Dialectic, the \textit{dictum de omni} and ecthesis
- Program testing and the meaning explanations of intuitionistic type theory
- A dialogical route to logical pluralism
- Resource modalities in tensor logic
- The game semantics of game theory
- Adaptive structure seeking dialogues
- A dialogical interpretation of cut-elimination and its application to argumentation theory
- Bounded Henkin quantifiers and the exponential time hierarchy
- Games for hybrid logic from semantic games to analytic calculi
- A simple token game and its logic
- Reasoning about group polarization: from semantic games to sequent systems
- Vindicating the future. A dialogical stance on Belnap's approach to Tomorrow's Sea Battle
- Dialogical logic and constructive type theory: new explorations
- Playing with modalities (invited talk)
- The foundations of DeLP: Defeating relations, games and truth values
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3874172)
