- Tytuł:
- Explicit Constructive Logic ECL : a New Representation of Construction and Selection of Logical Information by an Epistemic Agent
- Autorzy:
-
Gentilini, P.
Martelli, M.
Rosolini, G. - Data publikacji:
- 2015
- Słowa kluczowe:
-
constructivism in logic
higher order logic
intuitionistic logic
constructive paraconsistent logic - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł