Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic.
Lê Thành Dung NguyênPierre PradicPublished in: ICALP (2020)
Keyphrases
- sequent calculi
- lambda calculus
- classical logic
- special case
- multi valued
- cellular automata
- modal logic
- higher order
- automata theoretic
- proof theory
- asynchronous circuits
- neural network
- predicate logic
- set theory
- digital circuits
- conditional logic
- regular expressions
- predicate calculus
- modal operators
- deontic logic
- automated reasoning
- finite state
- model checking
- logic programming
- sound and complete axiomatization