Algebraic logic for classical conjunction and disjunction.
Josep Maria FontVentura VerdúPublished in: Stud Logica (1991)
Keyphrases
- quantum computation
- logic programming
- higher order
- modal logic
- probability theory
- computer algebra
- algebraic structure
- automated reasoning
- multi valued
- data mining
- classical logic
- defeasible logic
- mathematical theory
- first order logic
- programming language
- linear temporal logic
- real time
- classical first order logic
- finite model theory
- sound and complete axiomatization