Login / Signup

-admissibility of Relevant Modal Logics II - The Method using Metavaluations.

Takahiro Seki
Published in: Stud Logica (2011)
Keyphrases
  • cost function
  • clustering method
  • similarity measure
  • cooperative
  • preprocessing
  • significant improvement
  • high accuracy
  • modal logic
  • segmentation method
  • first order logic
  • integrity constraints