Implicational Tonoid Logics: Algebraic and Relational Semantics.
Eunsuk YangJ. Michael DunnPublished in: Logica Universalis (2021)
Keyphrases
- proof theory
- propositional dynamic logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- expressive power
- algebraic structure
- valued semantics
- relational calculus
- logic programming
- computational properties
- relational databases
- modal logic
- higher order logic
- relational data
- algebraic operators
- classical logic
- autoepistemic logic
- aggregate functions
- default reasoning
- database query languages
- algebraic operations
- formal semantics
- data model
- query language
- semantic information
- modal operators
- mathematical theory
- default logic
- relational learning
- object oriented databases
- dynamic logic
- relational operators
- relational model
- proof procedures