Peter Verdée

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 5

Top Topics

Belief Revision

Classical Logic

Proof Procedure

Top Venues

J. Log. Comput.

Publications

Peter Verdée
Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic. Synth. 198 (22-S) (2021)
Jesse Heyninck, Peter Verdée, Albrecht Heeffer
Handling Inconsistencies in the Early Calculus. J. Philos. Log. 47 (3) (2018)
Peter Verdée, Diderik Batens
Nice Embedding in Classical Logic. Stud Logica 104 (1) (2016)
Joke Meheus, Christian Straßer, Peter Verdée
Which style of reasoning to choose in the face of conflicting information? J. Log. Comput. 26 (1) (2016)
Peter Verdée, Inge De Bal
A New Approach to Classical Relevance. Stud Logica 103 (5) (2015)
Peter Verdée
Strong, universal and provably non-trivial set theory by means of adaptive logic. Log. J. IGPL 21 (1) (2013)
Peter Verdée
A proof procedure for adaptive logics. Log. J. IGPL 21 (5) (2013)
Frederik Van De Putte, Peter Verdée
The dynamics of relevance: adaptive belief revision. Synth. 187 (Supplement-1) (2012)
Peter Verdée
Modelling defeasible reasoning by means of adaptive logic games. Log. J. IGPL 20 (2) (2012)
Peter Verdée
Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic. WoLLIC (2011)
Diderik Batens, Kristof de Clercq, Peter Verdée, Joke Meheus
Yes fellows, most human reasoning is complex. Synth. 166 (1) (2009)
Peter Verdée
\Pi^1_1 -complex. Synth. 167 (1) (2009)
Stephan van der Waart van Gulik, Peter Verdée
Modeling sorites reasoning with adaptive fuzzy logic. Fuzzy Sets Syst. 159 (14) (2008)
Peter Verdée, Stephan van der Waart van Gulik
A Generic Framework for Adaptive Vague Logics. Stud Logica 90 (3) (2008)