Login / Signup
An Approach to Glivenko's Theorem in Algebraizable Logics.
Antoni Torrens
Published in:
Stud Logica (2008)
Keyphrases
</>
propositional dynamic logic
von neumann
digital topology
information systems
database
data sets
information retrieval
similarity measure