The following pages link to (Q3874172):
Displayed 35 items.
- Inconsistency-adaptive dialogical logic (Q263112) (← links)
- Logicism as making arithmetic explicit (Q320159) (← links)
- From reasonable preferences, via argumentation, to logic (Q334156) (← links)
- The logic of empirical theories revisited (Q383008) (← links)
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Dialogue structure and logical expressivism (Q408346) (← links)
- First-order dialogical games and tableaux (Q484155) (← links)
- A curious dialogical logic and its composition problem (Q484198) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- The foundations of DeLP: Defeating relations, games and truth values (Q987489) (← links)
- Meaning and dialogue coherence: A proof-theoretic investigation (Q1006473) (← links)
- Evaluating dialectical structures (Q1025574) (← links)
- Argumentation in artificial intelligence (Q1028943) (← links)
- Dialogues, strategies, and intuitionistic provability (Q1061740) (← links)
- Logical dialogues with explicit preference profiles and strategy selection (Q1689284) (← links)
- Games for hybrid logic. From semantic games to analytic calculi (Q2148784) (← links)
- Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution (Q2148798) (← links)
- Provability games for non-classical logics. Mezhirov game for MPC, KD!, and KD (Q2148809) (← links)
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)
- Towards Verification of Dialogue Protocols: A Mathematical Model (Q2814138) (← links)
- Game Semantics and the Manifestation Thesis (Q2908761) (← links)
- Arguments, Proofs, and Dialogues (Q2950027) (← links)
- Mathematical Arguments and Distributed Knowledge (Q2950043) (← links)
- The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting (Q3295841) (← links)
- The Truth of Proof: A Hegelian Perspective on Constructivism (Q3305649) (← links)
- Logic, Reasoning, Argumentation: Insights from the Wild (Q4629527) (← links)
- Beliefs supported by binary arguments (Q4685528) (← links)
- Dialogue Games for Minimal Logic (Q5013625) (← links)
- (Q5021003) (← links)
- Operation and Predicativity: Lorenzen’s Approach to Arithmetic (Q5024722) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)
- (Q5089267) (← links)
- Dialectic, the Dictum de Omni and Ecthesis (Q5208123) (← links)
- Program Testing and the Meaning Explanations of Intuitionistic Type Theory (Q5253930) (← links)
- A dialogical route to logical pluralism (Q6088956) (← links)