Diderik Batens

Publication Activity (10 Years)

Years Active: 1980-2020
Publications (10 Years): 3

Top Topics

Automated Theorem Proving

Classical Logic

Algebraic Geometry

Top Venues

J. Log. Comput.

Publications

Diderik Batens
Adaptive Fregean Set Theory. Stud Logica 108 (5) (2020)
Diderik Batens
Spoiled for choice? J. Log. Comput. 26 (1) (2016)
Peter Verdée, Diderik Batens
Nice Embedding in Classical Logic. Stud Logica 104 (1) (2016)
Diderik Batens
Logics for Qualitative Inductive Generalization. Stud Logica 97 (1) (2011)
Diderik Batens, Kristof de Clercq, Peter Verdée, Joke Meheus
Yes fellows, most human reasoning is complex. Synth. 166 (1) (2009)
Diderik Batens
A Universal Logic Approach to Adaptive Logics. Logica Universalis 1 (1) (2007)
Joke Meheus, Diderik Batens
A Formal Logic for Abductive Reasoning. Log. J. IGPL 14 (2) (2006)
Diderik Batens
A procedural criterion for final derivability in inconsistency-adaptive logics. J. Appl. Log. 3 (1) (2005)
Diderik Batens
THE THEORY OF THE PROCESS OF EXPLANATION GENERALIZED TO INCLUDE THE INCONSISTENT CASE. Synth. 143 (1-2) (2005)
João Marcos, Diderik Batens, Walter Alexandre Carnielli
A Paraconsistent Decagon. J. Appl. Log. 3 (1) (2005)
Diderik Batens, Timothy Vermeir
Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat Case. J. Appl. Non Class. Logics 12 (1) (2002)
Diderik Batens
On a Partial Decision Method for Dynamic Proofs. Paraconsistent Computational Logic (2002)
Diderik Batens, Joke Meheus
Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics. Stud Logica 69 (2) (2001)
Diderik Batens
A Dynamic Characterization of the Pure Logic of Relevant Implication. J. Philos. Log. 30 (3) (2001)
Diderik Batens
Minimally Abnormal Models In Some Adaptive Logics. Synth. 125 (1-2) (2000)
Diderik Batens, Joke Meheus
The Adaptive Logic of Compatibility. Stud Logica 66 (3) (2000)
Diderik Batens, Joke Meheus
A Tableau Method for Inconsistency-Adaptive Logics. TABLEAUX (2000)
Diderik Batens, Kristof de Clercq, Natasha Kurtonina
Embedding and Interpolation for some Paralogics. The Propositional Case. Reports Math. Log. 33 (1999)
Diderik Batens
Relevant implication and the weak deduction theorem. Stud Logica 46 (3) (1987)
Diderik Batens
A completeness-proof method for extensions of the implicational fragment of the propositional calculus. Notre Dame J. Formal Log. 21 (3) (1980)