Unification in Łukasiewicz Logic with a Finite Number of Variables.
Marco AbbadiniFederica Di StefanoLuca SpadaPublished in: IPMU (3) (2020)
Keyphrases
- finite number
- fixed number
- arbitrarily close
- logic programming
- propositional variables
- variable selection
- convex sets
- quasiconvex
- proof theory
- automated theorem proving
- function symbols
- predicate logic
- causal relationships
- theorem proving
- modal logic
- multi valued
- extreme points
- logical formulas
- random variables
- higher order
- continuous variables
- high dimensional
- independent variables
- automated reasoning
- logical framework
- input variables
- propositional logic
- knowledge representation