Synthetic Tableaux with Unrestricted Cut for First-Order Theories.
Dorota Leszczynska-JasionSzymon ChlebowskiPublished in: Axioms (2019)
Keyphrases
- classical first order logic
- theory revision
- first order logic
- logic programming
- dynamic logic
- higher order
- action theories
- theoretical framework
- real images are presented
- modal logic
- stochastic dominance
- conditional logic
- logic programs
- theorem prover
- data generator
- domain theory
- decision procedures
- background knowledge
- knowledge base
- propositional logic
- logical theories
- sequent calculi
- logical formulas
- cognitive psychology
- data sets
- inductive logic programming
- functional dependencies
- learning algorithm
- neural network