-
64A Coalgebraic Perspective on Logical InterpretationsStudia Logica 101 (4): 783-825. 2013.In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation…Read more
-
5Prior expectations modulate unconscious evidence accumulationConsciousness and Cognition 51 236-242. 2017.
Rio de Janeiro, Rio de Janeiro, Brazil
Areas of Interest
1 more
Applied Ethics |
Meta-Ethics |
Normative Ethics |
Philosophy of Law |
Social and Political Philosophy |
Logic and Philosophy of Logic |