Substructural Inquisitive Logics.

Vít Puncochár

Published in: Rev. Symb. Log. (2019)

Keyphrases

propositional calculus
expressive power
modal logic
inference rules
information systems
conditional logic
databases
neural network
real world
decision making
metadata
nonmonotonic logics
proof theory