Publications
Publications in Disciplinary Scientific Research:
Mathematical Logic: Proof Theory, Provability Logic, Modal Logic for provability;
Informational Logic; Paraconsistent Logic, Paraconsistent Arithmetic; Constructive
Semantics for Higher Order Logic and Type Theory. Automated deduction, Artificial
intelligence. Applications of Logic to Game Theory, Microeconomics and Knowledge
Representation. Application of Logic to Cognitive Sciences.
Publications in Educational and Epistemological Research:
Epistemology of Mathematics and scientific disciplines.
Curriculum design for upper secondary school. Methodology in
Mathematics and Science education. Methodology in multidisciplinary
education. Curriculum design for education in transversal competences:
rational competence, argumentative competence, critical thinking. Logic
education and Logic as cross curricular knowledge.