Publications
Export 15 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is T [Clear All Filters]
“An Adaptive Logic Framework For Conditional Obligations And Deontic Dilemmas” . Logic and logical philosophy 19: 95–128.
. 2010. “Belief Revision In Constructive Type Theory”. In Logica 2005 Yearbook, Logica 2005 Yearbook, . Filosofia Publisher.
. 2006. “On Building Abstract Terms In Typed Systems”. In Logica 2006 Yearbook, Logica 2006 Yearbook, . Filosofia Publisher.
. 2007. “A Conceptual Analysis Of Early Arabic Algebra” . The unity of science in the arabic tradition : science, logic, epistemology and their interactions: 89–128. http://dx.doi.org/1854/11276.
. 2008. “Doing Without Nature”. In Logic, Rationality, and Interaction (LORI), Logic, Rationality, and Interaction (LORI), Sapporro: Springer.
. 2017. “Een Pleidooi Voor Lokale Consistentie” Congresbundel Filosofiedag Antwerpen 1988: 41–46.
. 1989. “How To Identify Scientifc Revolutions?” . On Kuhn's Philosophy and its Legacy 8: 251–282.
. 2010. “Inconsistency-Adaptive Modal Logics: On How To Cope With Modal Inconsistency” . Logic and Logical Philosophy 19: 31–61. http://www.logika.umk.pl/llp/pi.html.
. 2010. “La Métamorphose Graçe Au Cinèma.” . La métamorphose: définition, formes et thèmes.
. 2009. “A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.
. 2012. “Model-Based Reasoning In Creative Processes” . Model-Based Reasoning in Scientific Discovery: 199–217.
. 1999. “Negative Numbers As An Epistemic Difficult Concept. Some Lessons From History.”. In History and Pedagogy of Mathematics. Satellite Meeting of International Congress on Mathematical Education 11, 14 - 18 July 2008., History and Pedagogy of Mathematics. Satellite Meeting of International Congress on Mathematical Education 11, 14 - 18 July 2008., . Centro Cultural del México Contemporanéo.
. 2008. “A Paraconsistent Multi-Agent Framework For Dealing With Normative Conflicts” . 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII): 312-329. http://dx.doi.org/10.1007/978-3-642-22359-4.
. 2011. “What, If Anything, Is An Experiment In Mathematics?” . Philosophy and the Many Faces of Science: 172–182.
. 1998.