DMCA
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent
BibTeX
@MISC{Gentilini_explicitconstructive,
author = {Paolo Gentilini and Maurizio Martelli},
title = {Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. One of the seminal goals of Explicit Constructive Logic (ECL) is to provide a constructive formulation of full higher order logic (Classical Type Theory LKω) that can be seen as a foundation for knowledge representation. Moreover, the development of this work has produced the basis of a new approach to constructivism in Logic.ECL is introduced as a sub-system Zω of LKω. Also the first order case Z1 and the propositional case ZP of ECL are examined. A comparison between ECL’s constructivism and the corresponding features of Intuitionistic Logic, and Constructive Paraconsistent Logic is proposed.
Keyphrases
epistemic agent new representation logical information explicit constructive logic ecl corresponding feature seminal goal explicit constructive logic classical type theory lk propositional case zp order logic new approach intuitionistic logic knowledge representation constructive paraconsistent logic first order case z1 constructive formulation
