Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent

Issue title: Special Issue on the Italian Conference on Computational Logic: CILC 2013

Article type: Research Article

Authors: Gentilini, Paolo^{a; *} | Martelli, Maurizio^{b; †} | Rosolini, Giuseppe^{c; ‡}

Affiliations: [a] DIMA, University of Genoa, Via Dodecaneso 35, 16146 Genova, Italy; IMATI-CNR, via de Marini 6, 16149 Genova, Italy. gentilini@ge.imati.cnr.it | [b] DIBRIS, University of Genoa, Via Dodecaneso 35, 16146 Genova, Italy. prorettore@unige.it | [c] DIMA, University of Genoa, Via Dodecaneso 35, 16146 Genova, Italy. rosolini@disi.unige.it

Note: [*] Address for correspondence: DIMA, University of Genoa, Via Dodecaneso 35, 16146 Genova, Italy

Note: [†] Project MIUR-PRIN 2010-2011 provided support for the research presented in the paper.

Note: [‡] Projects MIUR-PRIN 2010-2011 and Correctness by Construction, EU 7th framework programme, grant n. PIRSES-GA-2013-612638 provided support for the research presented in the paper.

Abstract: One of the main goals of Explicit Constructive Logic (ECL) is to provide a constructive formulation of Full (Classical) Higher Order Logic LKω that can be seen as a foundation for knowledge representation. ECL is introduced as a subsystem Zω of LKω. The first order case Z1 and the propositional case Z0 of ECL are examined as well. A comparison of constructivism from the point of view of ECL and of the corresponding features of Intuitionistic Logic, and Constructive Paraconsistent Logic is proposed.

Keywords: Constructivism in Logic, Higher Order Logic, Intuitionistic Logic, Constructive Paraconsistent Logic

DOI: 10.3233/FI-2015-1258

Journal: Fundamenta Informaticae, vol. 140, no. 3-4, pp. 357-372, 2015