Infinitary logic with infinite sequents: syntactic investigations.

Published in: Math. Log. Q. (2024)

Keyphrases

linear logic
sequent calculus
modal logic
inference rules
logic programming
logical framework
natural deduction
desirable properties
natural language
fixed point
classical logic
predicate logic
automated reasoning
asynchronous circuits
semantic representation
programming language
higher order
expert systems