Keyphrases
Algebraic Properties
100%
Multi-valued Logic
100%
Logic Programming
100%
Paraconsistent Logic
100%
Subsumption
33%
Classical Logic
16%
Natural Operations
16%
Truth Value
16%
Complete Lattice
16%
Formal Reasoning
16%
Algebraic Characterization
16%
Distributive Lattice
16%
Inconsistent Systems
16%
Mathematics
Algebraic Property
100%
Logic Programming
100%
Multivalued Logic
33%
Necessary and Sufficient Condition
16%
Truth Value
16%
Classical Logic
16%
Distributive Lattice
16%
Complete Lattice
16%
Computer Science
Logic Programming
100%
Extensibility
33%
Formal Reasoning
16%
Sufficient Condition
16%
Inconsistent System
16%