Discrete Dualities for Heyting Algebras with Operators

Authors:
Ewa Orłowska;Ingrid Rewitzky
Affiliations:
National Institute of Telecommunications Warsaw, Poland. E-mail: E.Orlowska@itl.waw.pl;Department of Mathematical Sciences, University of Stellenbosch, South Africa. E-mail: rewitky@sun.ac.za
Venue:
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Year:
2007

Citing 2
Cited 5

Relational semantics through duality

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
Relational representation theorems for lattices with negations: a survey

TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2

Algebras for Galois-style connections and their discrete duality

Fuzzy Sets and Systems
Preface

Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Compatible Operations on Residuated Lattices

Studia Logica
Frontal Operators in Weak Heyting Algebras

Studia Logica
Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Discrete dualities are presented for Heyting algebras with various modal operators, for Heyting algebras with an external negation, for symmetric Heyting algebras, and for Heyting-Brouwer algebras.