Classical and Empirical Negation in Subintuitionistic Logic.
Michael DeHitoshi OmoriPublished in: Advances in Modal Logic (2016)
Keyphrases
- logic programming
- predicate logic
- logic programs
- truth values
- derivation rules
- theoretical analysis
- closed world assumptions
- classical first order logic
- modal logic
- multi valued
- horn clauses
- quantum computation
- probability theory
- machine learning
- finite model theory
- data sets
- knowledge base
- probabilistic logic
- deductive databases
- natural language
- horn logic
- multi agent systems
- linear temporal logic
- asynchronous circuits
- answer set programming
- set theory
- classical logic
- stable models
- empirical data
- automated reasoning