Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: constructive paraconsistent logic

Sortuj według:

Ogranicz wyniki do:

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

Gentilini P., Martelli M., Rosolini G.

Fundamenta Informaticae

2015

Vol. 140, nr 3/4

357--372

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.