A Labeled Deduction System for the Logic UB.
Carlos CaleiroLuca ViganòMarco VolpePublished in: TIME (2013)
Keyphrases
- intuitionistic logic
- deductive reasoning
- computer algebra
- classical logic
- inference rules
- theorem proving
- proof search
- proof procedure
- logic programming
- modal logic
- multi valued
- automated theorem proving
- automated reasoning
- theorem prover
- supervised learning
- training data
- information systems
- predicate logic
- abductive reasoning
- expert systems
- natural deduction
- automated deduction
- asynchronous circuits
- data sets
- databases
- multi agent
- deontic logic
- set theory
- real time
- programming language