Logics of involutive Stone algebras.

Sérgio Marcelino Umberto Rivieccio

Published in: Soft Comput. (2022)

Keyphrases

expressive power
modal logic
conditional logic
distributive lattices
clifford algebra
relation algebra
classical logic
nonmonotonic logics
lower order
proof theory
epistemic logic
propositional dynamic logic
multi agent systems
propositional calculus
higher order
fuzzy logic
data model