Diderik Batens - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2020

Adaptive Fregean Set TheoryDiderik Batens. sLogica, 108(5):903-939, 2020. [doi]

2016

Spoiled for choice?Diderik Batens. logcom, 26(1):65-95, 2016. [doi]

Nice Embedding in Classical LogicPeter Verdée, Diderik Batens. sLogica, 104(1):47-78, 2016. [doi]

2013

New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of InconsistencyDiderik Batens. In Koji Tanaka, Francesco Berto, Edwin D. Mares, Francesco Paoli, editors, Paraconsistency: Logic and Applications. Volume 26 of Logic, Epistemology, and the Unity of Science, pages 101-122, Springer, 2013. [doi]

2011

Logics for Qualitative Inductive GeneralizationDiderik Batens. sLogica, 97(1):61-80, 2011. [doi]

2009

Yes fellows, most human reasoning is complexDiderik Batens, Kristof de Clercq, Peter Verdée, Joke Meheus. synthese, 166(1):113-131, 2009. [doi]

2007

A Universal Logic Approach to Adaptive LogicsDiderik Batens. lu, 1(1):221-242, 2007. [doi]

2006

A Formal Logic for Abductive ReasoningJoke Meheus, Diderik Batens. igpl, 14(2):221-236, 2006. [doi]

2005

A procedural criterion for final derivability in inconsistency-adaptive logicsDiderik Batens. japll, 3(1):221-250, 2005. [doi]

THE THEORY OF THE PROCESS OF EXPLANATION GENERALIZED TO INCLUDE THE INCONSISTENT CASEDiderik Batens. synthese, 143(1-2):63-88, 2005. [doi]

A Paraconsistent DecagonJoão Marcos, Diderik Batens, Walter Alexandre Carnielli. japll, 3(1):1-5, 2005. [doi]

2004

The Need for Adaptive Logics In EpistemologyDiderik Batens. In Shahid Rahman, John Symons, Dov M. Gabbay, Jean Paul Van Bendegem, editors, Logic, Epistemology, and the Unity of Science. Volume 1 of Logic, Epistemology, and the Unity of Science, pages 459-485, Springer, 2004. [doi]

2002

Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat CaseDiderik Batens, Timothy Vermeir. jancl, 12(1):63-84, 2002.

On a Partial Decision Method for Dynamic ProofsDiderik Batens. pcl 2002: 91-108 [doi]

2001

Shortcuts and Dynamic Marking in the Tableau Method for Adaptive LogicsDiderik Batens, Joke Meheus. sLogica, 69(2):221-248, 2001.

A Dynamic Characterization of the Pure Logic of Relevant ImplicationDiderik Batens. jphil, 30(3):267-280, 2001. [doi]

2000

The Adaptive Logic of CompatibilityDiderik Batens, Joke Meheus. sLogica, 66(3):327-348, 2000.

A Tableau Method for Inconsistency-Adaptive LogicsDiderik Batens, Joke Meheus. tableaux 2000: 127-142

Minimally Abnormal Models In Some Adaptive LogicsDiderik Batens. synthese, 125(1-2):5-18, 2000. [doi]

1999

Embedding and Interpolation for some Paralogics. The Propositional CaseDiderik Batens, Kristof de Clercq, Natasha Kurtonina. rml, 33:29-44, 1999. [doi]

1987

Relevant implication and the weak deduction theoremDiderik Batens. sLogica, 46(3):239-245, 1987. [doi]

1980

A completeness-proof method for extensions of the implicational fragment of the propositional calculusDiderik Batens. ndjfl, 21(3):509-517, 1980. [doi]

Sign in or sign up to see more results.

runs on WebDSL