Login / Signup

Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.

Paolo TorriniJohn G. StellBrandon Bennett
Published in: J. Appl. Non Class. Logics (2002)
Keyphrases
  • propositional logic
  • belief revision
  • machine learning
  • search algorithm
  • fuzzy set theory
  • lattice theory
  • propositional formulas
  • horn logic