Login / Signup
The Lattice of Super-Belnap Logics.
Adam Prenosil
Published in:
Rev. Symb. Log. (2023)
Keyphrases
</>
expressive power
modal logic
lattice structure
valued logic
inference rules
coalition logic
propositional calculus
concept lattice
classical logic
conditional logic
proof theory
boolean algebra
query language
lattice theory
integer points