Login / Signup

A Syntactic Approach to Maksimova's Principle of Variable Separation for some Substructural Logics.

H. NaruseBayu SurarsoHiroakira Ono
Published in: Notre Dame J. Formal Log. (1998)
Keyphrases
  • propositional calculus
  • expressive power
  • inference rules
  • real time
  • natural language
  • modal logic
  • semantic role labeling
  • objective function
  • anti unification
  • horn logic