C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Cut-free sequent-style systems for a logic associated to involutive Stone algebras.
Liliana M. Cantú
Martín Figallo
Published in:
J. Log. Comput. (2023)
Keyphrases
</>
modal logic
data sets
management system
computer systems
learning systems
retrieval systems
databases
knowledge representation
complex systems
first order logic