Multideductive Logic And The Theoretic-Formal Unification Of Physical Theories.
Edelcio G. de SouzaPublished in: Synth. (2000)
Keyphrases
- defeasible logic
- formal models
- equational theories
- formal language
- logical formulas
- automated theorem proving
- mathematical theory
- formal logic
- classical logic
- causal reasoning
- ctl model update
- ontological engineering
- higher order
- physical world
- theorem prover
- logic programming
- theoretical framework
- computational logic
- automated reasoning
- operational semantics
- probability theory
- modal logic
- modal operators
- multi valued
- causal theories
- highly expressive
- formal specification
- classical first order logic
- proof theory
- dynamic logic
- predicate logic
- domain theory
- natural language
- formal methods
- general theory
- logical framework