Félix Bou

Reasoning and Logic Department

Email:

fbou@iiia.csic.es

Extension:

209

Web:

http://www.iiia.csic.es/~fbou

Position:

Ex-IIIA

Seniority / membership period:

15 February 2014 to 30 September 2016

Publications
Projects

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.

Download PDF

Fèlix Bou, Josep Maria Font, Jose Luis Garcia Lapresta; On weakening the Deduction Theorem and strengthening Modus Ponens. Mathematical Logic Quaterly; 2004.

Download PDF

Fèlix Bou; Strict implication logics (e.g., intuitionistic propositional logic) correspond to removing symmetry from bisimilarity. Proceedings of the 38th MLG Meeting at Gamagori, Japan 2004. October 24-26, 2004; 2004.

Download PDF

2003

Siegfried Gottwald, Angel García-Cerdaña, Fèlix Bou; Axiomatizing monoidal logic. A correction to: "A treatise on many-valued logics''. Journal of Multiple-Valued Logic and Soft Computing; 2003.

Download PDF

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.

Download PDF

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.

Download PDF