Publications
Export 2 results:
[ Author] Title Type Year Filters: First Letter Of Title is S and Author is Verdée, Peter [Clear All Filters]
“Strong, Universal And Provably Non-Trivial Set Theory By Means Of Adaptive Logic”. Logic Journal of the IGPL 21: 108-125.
. 2013. “Strong Paraconsistency By Separating Composition And Decomposition In Classical Logic”. In WoLLIC 2011 Proceedings LNAI Series, WoLLIC 2011 Proceedings LNAI Series, . Springer. http://dx.doi.org/10.1007/978-3-642-20920-8\_26.
. 2011.