Symmetric Ternary Logic and Its Systematic Logic Composition Methodology.
Ichiro KawashimaPublished in: CoRR (2023)
Keyphrases
- logic programming
- classical logic
- predicate logic
- modal logic
- automated reasoning
- logical framework
- multi valued
- databases
- artificial intelligence
- epistemic logic
- digital circuits
- logic synthesis
- proof theory
- computational properties
- probabilistic logic
- natural language
- database systems
- decision making
- learning algorithm