Publications

Export 823 results:
[ Author(Asc)] Title Type Year
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 
P
Primiero, Giuseppe. 2006. Belief Revision In Constructive Type Theory. In Logica 2005 Yearbook, Logica 2005 Yearbook, M Bilkova and Tomala, O. Filosofia Publisher.
Pouliasis, Konstantinos, and Giuseppe Primiero. 2014. J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic. Electronic Notes in Theoretical Computer Science 300: 71–87.
Pieters, Eva. 2009. "clear Moon, Frost Soon". An Introduction To The Study Of Meteorological Practices In The Low Countries (1550-1850). In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Erik Weber, Libert, Thierry, Marage, Pierre, and Vanpaemel, Geert. {Koninklijke Vlaamse Academie van België.
M
Meheus, Joke. 2002. Inconsistencies In Scientific Discovery. Clausius's Remarkable Derivation Of Carnot's Theorem Helghe Krach, Vanpaemel, Geert, and Marage, Pierre. History of Modern Physics. Acta of the XXth International Congress of History of Science: 143–154.
Meheus, Joke. 2001. Adaptive Logics For Question Evocation. Logique et Analyse 44: 135–164.
Meheus, Joke, and Diderik Batens. 2006. A Formal Logic For Abductive Reasoning. Logic Journal of the IGPL 14: 221–236.
Meheus, Joke. 1993. Recente Ontwikkelingen In Onze Opvatting Over Creativiteit Bart Raymaekers. Gehelen en fragmenten. De vele gezichten van de filosofie: 259–261.
Meheus, Joke. 2003. Paraconsistent Compatibility. Logique et Analyse 46: 251–287.
Meheus, Joke. 2003. Do We Need Paraconsistency In Commonsense Reasoning? Claudio Delrieux and Legris, Javier. Computer Modeling of Scientific Reasoning: 135–146.

Pages