Skip to main content
ZOEK
MENU
English
Nederlands
Researchers
Projects
Research groups
Faculty of Arts and Philosophy - Research Portal
Home
Researchers
Peter Verdée
Peter Verdée
×
Warning message
This person no longer works at Ghent University.
Tabgroup
Projects
Projects as researcher
A formal approach to problem solving, and more specifically to scientific problem solving
(
2005
-
2009
)
Publications
Most recent publications
Verdée, Peter. “Obtaining Infinitely Many Degrees of Inconsistency by Adding a Strictly Paraconsistent Negation to Classical Logic.”
SYNTHESE
, vol. 198, no. suppl. 22, 2021, pp. 5415–49, doi:10.1007/s11229-020-02638-8.
Verdée, Peter, and Diderik Batens. “Nice Embedding in Classical Logic.”
STUDIA LOGICA
, vol. 104, no. 1, 2016, pp. 47–78, doi:10.1007/s11225-015-9622-3.
Verdée, Peter. “Strong, Universal and Provably Non-Trivial Set Theory by Means of Adaptive Logic.”
LOGIC JOURNAL OF THE IGPL
, vol. 21, no. 1, 2013, pp. 108–25, doi:10.1093/jigpal/jzs025.
Verdée, Peter. “A Proof Procedure for Adaptive Logics.”
LOGIC JOURNAL OF THE IGPL
, vol. 21, no. 5, 2013, pp. 743–66, doi:10.1093/jigpal/jzs046.
Verdée, Peter. “Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics.”
FOUNDATIONS OF SCIENCE
, vol. 18, no. 4, 2013, pp. 655–80, doi:10.1007/s10699-012-9296-5.
Full bibliography