A Propositional Metric Logic with Fixed Finite Ranges.
Radosav DjordjevicNebojsa IkodinovicNenad StojanovicPublished in: Fundam. Informaticae (2020)
Keyphrases
- sound and complete axiomatization
- multi valued
- proof procedure
- probabilistic logic
- deductive reasoning
- propositional logic
- predicate calculus
- first order logic
- general logic programs
- finite number
- logic programming
- valued logic
- autoepistemic logic
- metric space
- horn clauses
- truth maintenance systems
- linear temporal logic
- propositional variables
- distance metric
- classical first order logic
- modal logic
- classical logic
- predicate logic
- theorem proving
- distance measure
- conditional logic
- model theoretic
- metric learning
- coalition logic