Reasoning and Logic Department
Email: 
fbou@iiia.csic.es
Extension: 
209
Position: 
Ex-IIIA
Seniority / membership period: 
15 February 2014 to 30 September 2016
36 Publications
2004
Fèlix Bou, Angel García-Cerdaña, Ventura Verdú; On some Substructural Aspects of t-Norm Based Logics. Proceedings of the Tenth International Conference IPMU 2004. Information Processing and Management of Uncertainty in Knowledge-Base Systems; 2004.
2003
Fèlix Bou; Quasi-bisimulation: a new paradigm for the strict implication language. Volume of abstracts. 12th International Congress of Logic, Methodology and Philosophy of Science (Oviedo, August 7–13, 2003); 2003.
2002
Fèlix Bou; Hilbert-style calculi for BPL and FPL. 1st North American Summer School in Logic, Language and Information. Student Session. Stanford 2002.; 2002.
 
-
01 October 2013 - 30 September 2016
Plan Nacional
01 January 2011 - 31 December 2013
Plan Nacional
01 February 2009 - 31 January 2012