scientific article

zbMath0963.03007MaRDI QIDQ2721192

Diderik Batens, Joke Meheus

Publication date: 1 July 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Paraconsistent logics (03B53)

Related Items

Rasiowa-Sikorski deduction systems with the rule of cut: a case study, Dual erotetic calculi and the minimal \(\mathsf{LFI}\), A procedural criterion for final derivability in inconsistency-adaptive logics, Yes fellows, most human reasoning is complex, Tutorial on Inconsistency-Adaptive Logics, The theory of the process of explanation generalized to include the inconsistent case, Socratic proofs and paraconsistency: A case study, Inconsistency-adaptive dialogical logic