Labelled Tableau Systems for Some Subintuitionistic Logics.

Published in: Logica Universalis (2019)

Keyphrases

description logics
distributed systems
database
databases
computer vision
multimedia
bayesian networks
computer systems
building blocks