Rivals to Belnap-Dunn Logic on Interlaced Trilattices.
Thomas Macaulay FergusonPublished in: Stud Logica (2017)
Keyphrases
- motion compensation
- predicate logic
- logic programming
- digital video
- multi valued
- asynchronous circuits
- modal logic
- motion compensated
- probabilistic logic
- classical logic
- computational properties
- abductive reasoning
- sound and complete axiomatization
- databases
- proof theory
- epistemic logic
- logical framework
- multiresolution
- information systems
- neural network