De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic.
Ross HorneAlwen TiuBogdan AmanGabriel CiobanuPublished in: ACM Trans. Comput. Log. (2019)
Keyphrases
- privacy preserving
- classical logic
- special case
- predicate logic
- logical framework
- private data
- logic programming
- modal logic
- sound and complete axiomatization
- databases
- public private
- person names
- dynamic logic
- linear logic
- asynchronous circuits
- computational properties
- multi valued
- co occurrence
- case study
- learning algorithm
- machine learning