Login / Signup
Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework.
Chrysafis Hartonas
Published in:
J. Philos. Log. (2018)
Keyphrases
</>
expressive power
logic programming
data model
relational databases
proof theoretic