Login / Signup
Bilateralism, Trilateralism, Multilateralism and Poly-Sequents.
Nissim Francez
Published in:
J. Philos. Log. (2019)
Keyphrases
</>
linear logic
sequent calculus
inference rules
fixed point
modal logic
natural deduction
desirable properties
logic programming
expert systems
markov random field
first order logic
temporal logic
logical framework