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, and Bjørn Jespersen. 2009. Two Type-Theoretical Approaches To Privative Modification Kumiyo Nakakoji, Murakami, Yohei, and McCready, Eric. New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.
Primiero, Giuseppe. 2007. On Building Abstract Terms In Typed Systems. In Logica 2006 Yearbook, Logica 2006 Yearbook, O Tomala and Honzik, R. 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, 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. Do We Need Paraconsistency In Commonsense Reasoning? Claudio Delrieux and Legris, Javier. Computer Modeling of Scientific Reasoning: 135–146.

Pages