Login / Signup
Polarized Rewriting and Tableaux in B Set Theory.
Olivier Hermant
Published in:
CoRR (2018)
Keyphrases
</>
set theory
fuzzy set theory
modal logic
partial order
first order logic
decision procedures
rough sets
conjunctive queries
fuzzy sets
algebraic geometry
mathematical morphology
rough set theory
functional dependencies
temporal logic
description logics
probability theory
information retrieval