Structures with Multirelations, their Discrete Dualities and Applications

Authors:
Ivo Düntsch.;Ewa Orłowska;Ingrid Rewitzky
Affiliations:
Department of Computer Science, Brock University, Canada;National Institute of Telecommunications, Warsaw, Poland. E-mail: E.Orlowska@itl.waw.pl;Department of Mathematical Sciences, University of Stellenbosch, South Africa
Venue:
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Year:
2010

Citing 19
Cited 1

Concurrent dynamic logic

Journal of the ACM (JACM)
Logics of time and computation

Logics of time and computation
Nondeterminacy and recursion via stacks and games

Theoretical Computer Science
Games and winning strategies

Information Processing Letters - Special issue on the calculational method
Beyond modalities: sufficiency and mixed algebras

Relational methods for computer science applications
Formal Concept Analysis: Mathematical Foundations

Formal Concept Analysis: Mathematical Foundations
Refinement Calculus: A Systematic Introduction

Refinement Calculus: A Systematic Introduction
A Paradigm for Program Semantics: Power Structures and Duality

A Paradigm for Program Semantics: Power Structures and Duality
Boolean Concept Logic

ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Modelling angelic and demonic nondeterminism with multirelations

Science of Computer Programming
Representation theorems for some fuzzy logics based on residuated non-distributive lattices

Fuzzy Sets and Systems
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
Algebras for Galois-style connections and their discrete duality

Fuzzy Sets and Systems
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 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
Relational representability for algebras of substructural logics

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 general lattices with negations

RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Lattice-Based relation algebras II

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

Preface

Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we show that the problem of discrete duality can be extended beyond the clasical setting of duality between a class of algebras and a class of relational structures. Namely, for some classes of algebras, the relevant dual structures are the structures with multirelations. Several applications of multirelations will be described.