A family of metainferential logics.

Federico Matias Pailos

Published in: J. Appl. Non Class. Logics (2019)

Keyphrases

modal logic
special case
expressive power
databases
case study
propositional calculus
multiresolution
inference rules
nonmonotonic logics
data mining
search engine
multiscale
data model
computational properties