The following pages link to (Q3874172):
Displaying 15 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)
- Logical dialogues with explicit preference profiles and strategy selection (Q1689284) (← links)
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)
