Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic

Nicolaie Popescu-Bodorin Luminita State

Published in: CoRR (2011)

Keyphrases

formal theory
multi valued
logical operations
belief update
commonsense reasoning
logic programming
sound and complete axiomatization
logical framework
modal logic
computational properties
pairwise
action recognition
experimental data
automated reasoning
general logic programs