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