Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 9 results:

] Title Type Year

Filters: Author is Verdée, Peter [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

V

Verdée, Peter. 2012. “A Proof Procedure For Adaptive Logics”. Logic Journal of IGPL 21: 743-766.

Verdée, Peter. 2013. “Non-Monotonic Set Theory As A Pragmatic Foundation Of Mathematics”. Foundations of science 18: 655–680.

Verdée, Peter. 2013. “Strong, Universal And Provably Non-Trivial Set Theory By Means Of Adaptive Logic”. Logic Journal of the IGPL 21: 108-125.

Verdée, Peter. Submitted. “Degrees Of Inconsistency. Carefully Combining Classical And Paraconsistent Negation.”.

Verdée, Peter. 2008. “Logische Bewijsdynamieken Voor De Formele Explicatie Van Wetenschappelijke Probleemoplossingsprocessen”.

Verdée, Peter. 2011. “Strong Paraconsistency By Separating Composition And Decomposition In Classical Logic”. In WoLLIC 2011 Proceedings LNAI Series, WoLLIC 2011 Proceedings LNAI Series, R Goebel. Springer. http://dx.doi.org/10.1007/978-3-642-20920-8\_26.

Verdée, Peter. 2009. “Adaptive Logics Using The Minimal Abnormality Strategy Are \$\textbackslashpi\^ 1\_1\$-Complex”. Synthese 167: 93–104. http://dx.doi.org/10.1007/s11229-007-9291-5.

Verdée, Peter, and Diderik Batens. 2016. “Nice Embedding In Classical Logic”. Studia Logica: 47-78.

Verdée, Peter. 2012. “Modelling Defeasible Reasoning By Means Of Adaptive Logic Games”. Logic Journal of the IGPL 20: 417–437.