A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding.
Roy DyckhoffSara NegriPublished in: J. Log. Comput. (2016)
Keyphrases
- modal logic
- natural deduction
- sequent calculi
- cut elimination
- sequent calculus
- inference rules
- linear logic
- classical logic
- vector space
- logical framework
- multi valued
- neural network
- predicate logic
- information hiding
- multidimensional scaling
- temporal logic
- real time
- defeasible logic
- theorem proving
- social bookmarking
- situation calculus
- epistemic logic
- modal operators
- deontic logic
- asynchronous circuits
- logic programming
- proof theory
- valued logic
- digital images
- knowledge base