Publications
Export 102 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is P [Clear All Filters]
“Protagoras En Het Kennistheoretisch Relativisme” . Us and Them. Essays over filosofie, politiek, religie en cultuur van de Antieke Oudheid tot Islam in Europa ter ere van Herman De Ley: 181–192.
. 2008. “Pushing The Search Paths In The Proofs. A Study In Proof Heuristics”. Logique et Analyse 44: 113–134.
. 2001. “Quasi-Merging And Pure-Arbitration On Information For The Family Of Adaptive Logics Adm”. In Proceedings of the Workshop on Logic and Intelligent Interaction, Proceedings of the Workshop on Logic and Intelligent Interaction, .
. 2008. “Quasi-Merging And Pure-Arbitration On Information For The Family Of Adaptive Logics Adm”. In Proceedings of the Workshop on Logic and Intelligent Interaction, Proceedings of the Workshop on Logic and Intelligent Interaction, .
. 2008. “Reasoning With Computer-Assisted Experiments In Mathematics” . Third Workshop in the Philosophy of Information: 80-92.
. 2012. “On Relevance Conditions For Asserting Disjunctions” . The Logica Yearbook 2009: 143–156.
. 2010. “Report 3Rd Workshop In The Philosophy Of Information”. The Reasoner 1: 6-7.
. 2011. “Report 'international Conference On History And Philosophy Of Computing' (Hapoc)”. The Reasoner 6: 7-8.
. 2012. “The Role Of Logic In Philosophy Of Science” . The Routledge Companion to Philosophy of Science: 47–57.
. 2008. “The Semantics Of Untrustworthiness”. Topoi. An International Reiew of Philosophy.
. In Press. “Some Adaptive Logics For Diagnosis”. Logic and Logical Philosophy 11/12: 39–65.
. 2003. “Strategies: What's In A Name?” . The Many Sides of Logic 21: 287–306.
. 2009. “A Survey Of Inconsistency-Adaptive Logics” . Frontiers of Paraconsistent Logic: 49–73.
. 2000. “The Symbolic Model For Algebra: Functions And Mechanisms” . Model-Based Reasoning in Science and Technology 314: 519–532. http://dx.doi.org/10.1007/978-3-642-15223-8\_29.
. 2010. “A Taxonomy Of Errors For Information Systems”. Minds and Machines 24: 249–273.
. 2013. . Submitted.
“Two Semantically Motivated Enrichments Of Relevant Logics” . Essays in Philosophical Logic: 65–74.
. 1987. “Two Type-Theoretical Approaches To Privative Modification” . New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.
. 2009. “Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012. “Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012. “A Unifying Framework For Reasoning About Normative Conflicts” . The logica yearbook 2011: 1–14.
. 2012. “A Unifying Framework For Reasoning About Normative Conflicts” . The logica yearbook 2011: 1–14.
. 2012. “Verisimilitude And Meaning Relations” . CC77. International Workshop on the Cognitive Viewpoint: 321–328.
. 1977. “Verisimilitude And Meaning Relations” . CC77. International Workshop on the Cognitive Viewpoint: 321–328.
. 1977.