-
25Creators’ intentions bias judgments of function independently from causal inferencesCognition 109 (1): 123-132. 2008.
-
82On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logicLogic Journal of the IGPL 20 (3): 579-588. 2012.Automated reasoning issues are addressed for a finite lattice-valued propositional logic LnP(X) with truth-values in a finite lattice-valued logical algebraic structure—lattice implication algebra. We investigate extended strategies and rules from classical logic to LnP(X) to simplify the procedure in the semantic level for testing the satisfiability of formulas in LnP(X) at a certain truth-value level α (α-satisfiability) while keeping the role of truth constant formula played in LnP(X). We pro…Read more
-
Complutense University of MadridResearcher
Madrid, Spain
Areas of Interest
Aesthetics |
Medieval and Renaissance Philosophy |