Deduction and Reduction Theorems for Inferential Erotetic Logic.
Andrzej WisniewskiPublished in: Stud Logica (2018)
Keyphrases
- proof search
- intuitionistic logic
- sequent calculus
- cut elimination
- inference rules
- theorem proving
- computer algebra
- linear logic
- deductive reasoning
- proof procedure
- theorem prover
- natural deduction
- automated reasoning
- modal logic
- reduction method
- automated theorem proving
- predicate logic
- predicate calculus
- proof theoretic
- learning algorithm
- multi valued
- proof theory
- logic programming
- databases
- data sets
- neural network
- information systems
- expert systems
- first order logic
- classical logic
- defeasible logic
- asynchronous circuits
- epistemic logic
- abductive reasoning