Semantics of Mizar as an Isabelle Object Logic.
Cezary KaliszykKarol PakPublished in: J. Autom. Reason. (2019)
Keyphrases
- logic programming
- proof theory
- nonmonotonic logics
- sound and complete axiomatization
- epistemic logic
- propositional dynamic logic
- d objects
- natural deduction
- sound and complete with respect
- logical framework
- conditional logic
- dynamic logic
- higher order logic
- autoepistemic logic
- moving objects
- derivation rules
- modal logic
- formal language
- multiple objects
- proof theoretic
- logical rules
- algebraic structure
- deductive databases
- predicate calculus
- object model
- operational semantics
- semantic information
- intuitionistic logic
- object identity
- rewrite systems
- cut elimination
- active rules
- default logic
- theorem prover
- target object