A Three-Valued Fregean Quantification Logic.
Minghui MaYuanlei LinPublished in: J. Philos. Log. (2019)
Keyphrases
- nonmonotonic logics
- modal logic
- multi valued
- epistemic logic
- inference rules
- computational properties
- classical logic
- genetic algorithm
- valued semantics
- logic programming
- set theory
- sound and complete axiomatization
- neural network
- linear temporal logic
- asynchronous circuits
- deontic logic
- formal language
- automated reasoning
- model checking
- multiscale
- data mining