Beyond modalities: sufficiency and mixed algebras
Relational methods for computer science applications
A Paradigm for Program Semantics: Power Structures and Duality
A Paradigm for Program Semantics: Power Structures and Duality
Incomplete Information: Structure, Inference, Complexity
Incomplete Information: Structure, Inference, Complexity
Representation theorems for some fuzzy logics based on residuated non-distributive lattices
Fuzzy Sets and Systems
Discrete Dualities for Heyting Algebras with Operators
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Discrete Duality and Its Applications to Reasoning with Incomplete Information
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Context Algebras, Context Frames, and Their Discrete Duality
Transactions on Rough Sets IX
Discrete Duality for Relation Algebras and Cylindric Algebras
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Algebras for Galois-style connections and their discrete duality
Fuzzy Sets and Systems
Structures with Multirelations, their Discrete Dualities and Applications
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
An algebraic approach to preference relations
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Relational correspondences for lattices with operators
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Discrete Dualities for Heyting Algebras with Operators
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
| Hi-index | 0.00 |
In this paper we show how the classical duality results extended to a Duality via Truth contribute to development of a relational semantics for various modal-like logics. In particular, we present a Duality via Truth for some classes of information algebras and frames. We also show that the full categorical formulation of classical duality extends to a full Duality via Truth.