A resource aware semantics for a focused intuitionistic calculus.
Delia KesnerDaniel VenturaPublished in: Math. Struct. Comput. Sci. (2019)
Keyphrases
- natural deduction
- formal language
- algebraic structure
- cut elimination
- formal semantics
- linear logic
- database query languages
- sequent calculus
- relational calculus
- inference rules
- logical framework
- process algebra
- theorem prover
- proof theoretic
- expressive power
- semantic information
- logic programming
- operational semantics
- fuzzy information
- model theoretic
- natural language
- reasoning tasks
- fuzzy set theory
- formal specification
- real valued
- data model