Model-theoretic characterization of intuitionistic predicate formulas.
Grigory K. OlkhovikovPublished in: J. Log. Comput. (2014)
Keyphrases
- model theoretic
- fixpoint
- horn clauses
- proof theoretic
- linear logic
- deductive databases
- action theories
- description logics
- logic programs
- first order logic
- operational semantics
- theorem prover
- probabilistic reasoning
- decision procedures
- default reasoning
- datalog programs
- inference rules
- predicate calculus
- formal semantics
- integrity constraints
- logic programming
- fuzzy numbers
- cut elimination
- databases
- fixed point
- relational databases
- database
- theorem proving
- answer sets
- inductive logic programming
- background knowledge
- graphical models
- probabilistic model
- natural deduction