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

Gentilini, Paolo; Martelli, Maurizio; Rosolini, Giuseppe

doi:10.3233/FI-2015-1258

One of the main goals of Explicit Constructive Logic (ECL) is to provide a constructive formulation of Full (Classical) Higher Order Logic LK<inf>w</inf> that can be seen as a foundation for knowledge representation. ECL is introduced as a subsystem Z<inf>w</inf> of LK<inf>w</inf>. 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.

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

GENTILINI , PAOLO;MARTELLI, MAURIZIO;ROSOLINI, GIUSEPPE

2015-01-01

Abstract

One of the main goals of Explicit Constructive Logic (ECL) is to provide a constructive formulation of Full (Classical) Higher Order Logic LKw that can be seen as a foundation for knowledge representation. ECL is introduced as a subsystem Zw of LKw. 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.