Glivenko theorems and negative translations in substructural predicate logics.
Hadi FarahaniHiroakira OnoPublished in: Arch. Math. Log. (2012)
Keyphrases
- propositional calculus
- positive and negative
- modal logic
- expressive power
- first order logic
- machine translation
- query translation
- database
- digital topology
- datalog programs
- neural network
- genetic algorithm
- ordered sets
- proof procedures
- tensor factorization
- truth values
- computational properties
- data mining
- case study
- website