Finitary Extensions of the Nilpotent Minimum Logic and (Almost) Structural Completeness.
Joan GispertPublished in: Stud Logica (2018)
Keyphrases
- structural information
- knowledge representation formalisms
- modal logic
- default logic
- multi valued
- classical logic
- logical framework
- database
- finite state
- automated reasoning
- digital circuits
- asynchronous circuits
- truth maintenance systems
- logic programming
- data sets
- natural deduction
- proof theory
- epistemic logic
- truth values
- square error
- nonmonotonic logics
- defeasible logic
- structural model
- probabilistic logic
- default reasoning
- answer set programming
- efficient implementation
- partial order
- data quality