Login / Signup

Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties.

Petr CintulaRostislav HorcíkCarles Noguera
Published in: Rev. Symb. Log. (2013)
Keyphrases
  • propositional calculus
  • default logic
  • expressive power
  • neural network
  • machine learning
  • information retrieval
  • artificial intelligence
  • hidden markov models
  • higher order
  • desirable properties
  • general theory