The Sound and Complete Gentzen Deduction System for the Modalized Łukasiewicz Three-Valued Logic.
Cungen CaoYuefei SuiPublished in: Int. J. Fuzzy Log. Intell. Syst. (2016)
Keyphrases
- inference rules
- set of inference rules
- sequent calculus
- cut elimination
- horn clauses
- modal logic
- natural deduction
- logical framework
- linear time temporal logic
- truth values
- epistemic logic
- theorem prover
- proof search
- theorem proving
- intuitionistic logic
- first order logic
- nonmonotonic logics
- probability theory
- computer algebra
- data sets
- temporal logic
- deductive reasoning
- neural network
- logic programming
- np complete
- automated theorem proving
- automated reasoning