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