Compactness in first order Łukasiewicz logic.
Nazanin TavanaMassoud PourmahdianFarzad DidehvarPublished in: Log. J. IGPL (2012)
Keyphrases
- linear temporal logic
- general logic programs
- conditional logic
- higher order
- sound and complete with respect
- horn clauses
- modal logic
- probabilistic logic
- classical logic
- predicate calculus
- logical theories
- finite model theory
- logical formulas
- logic programming
- logic programs
- classical first order logic
- model theoretic
- predicate logic
- sound and complete axiomatization
- stochastic dominance
- database
- valued logic
- linear logic
- asynchronous circuits
- computational properties
- logical framework
- automated reasoning
- belief revision
- neural network