Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics.

Published in: J. Appl. Non Class. Logics (2014)

Keyphrases

management system
complex systems
genetic algorithm
computer systems
logic programming
rewrite systems
databases
computer vision
decision making
metadata
distributed systems
intelligent systems
knowledge based systems
dynamic aspects