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. 2007. On Building Abstract Terms In Typed Systems. In Logica 2006 Yearbook, Logica 2006 Yearbook, O Tomala and Honzik, R. Filosofia Publisher.
Primiero, Giuseppe. 2010. A Multi-Modal Dependent Type Theory For Representing Data Accessibility In A Network.. In Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Citeseer.
Primiero, Giuseppe, and Joke Meheus. 2008. Majority Merging By Adaptive Counting. Synthese (KRA Serie) 165: 203–223.
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. 2003. Do We Need Paraconsistency In Commonsense Reasoning? Claudio Delrieux and Legris, Javier. Computer Modeling of Scientific Reasoning: 135–146.
Meheus, Joke. 1993. Ontdekking En Creativiteit In Wetenschap En Muziek Robert Halleux and Bernés, Anne-Cathérine. Nieuwe tendenzen in de geschiedenis en de filosofie van de wetenschappen: 41–52.
Meheus, Joke. 2002. An Adaptive Logic For Pragmatic Truth Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. Paraconsistency. The Logical Way to the Inconsistent: 167–185.
Meheus, Joke. 2001. Adaptive Logics For Question Evocation. Logique et Analyse 44: 135–164.
Meheus, Joke. 2005. Empirical Progress And Ampliative Adaptive Logics Roberto Festa, Aliseda, Atocha, and Peijnenburg, Jeanne. Confirmation, Empirical Progress, and Truth Approximation. Essays in Debate with Theo Kuipers. Vol. 1 83: 193–217.

Pages