Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics.
Jan WolenskiPublished in: Logica Universalis (2012)
Keyphrases
- formal language
- operational semantics
- predicate calculus
- proof theory
- natural language
- highly expressive
- model theoretic
- logical language
- dynamic logic
- proof theoretic
- conditional logic
- logic programming
- specification language
- precisely defined
- formal semantics
- intended meaning
- lambda calculus
- database query languages
- logic programming language
- definition language
- algebraic structure
- programming language
- fixed point semantics
- epistemic logic
- relational calculus
- predicate logic
- nonmonotonic logics
- deductive databases
- natural deduction
- declarative semantics
- type checking
- relational structures
- inference rules
- propositional dynamic logic
- order sorted