The following pages link to (Q2721192):
Displaying 12 items.
- Inconsistency-adaptive dialogical logic (Q263112) (← links)
- Socratic proofs and paraconsistency: A case study (Q813092) (← links)
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482) (← links)
- Yes fellows, most human reasoning is complex (Q1024143) (← links)
- Tableau systems for paraconsistency and minimal inconsistency (Q1127720) (← links)
- A procedural criterion for final derivability in inconsistency-adaptive logics (Q1775872) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- The theory of the process of explanation generalized to include the inconsistent case (Q2576384) (← links)
- Two new strategies for inconsistency-adaptive logics (Q3149216) (← links)
- (Q4440568) (← links)
- Tutorial on Inconsistency-Adaptive Logics (Q5241516) (← links)
- Shortcuts and dynamic marking in the tableau method for adaptive logics (Q5955615) (← links)