论文信息 - Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent

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

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 knowl- edge 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.

[1] Paolo Gentilini. Proof theory and mathematical meaning of paraconsistent C-systems , 2011, J. Appl. Log..

[2] Maurizio Martelli,et al. Abstract deduction and inferential models for type theory , 2010, Inf. Comput..

[3] Paola Forcheri,et al. Informational Logic in Knowledge Representation and Automated Deduction , 1999, AI Commun..

[4] G. Takeuti. Proof Theory , 1975 .

[5] Gopalan Nadathur,et al. Uniform Proofs as a Foundation for Logic Programming , 1991, Ann. Pure Appl. Log..

[6] W. Carnielli,et al. Logics of Formal Inconsistency , 2007 .

[7] Alonzo Church,et al. A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.

[8] S. Buss. Handbook of proof theory , 1998 .

[9] C. McCarty. CONSTRUCTIVISM IN MATHEMATICS , 2009 .

[10] James Lipton,et al. Completeness and Cut-elimination in the Intuitionistic Theory of Types , 2005, J. Log. Comput..