Priestley-style duality for filter-distributive congruential logics

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Esteban, María, Jansana, Ramon
Format: Preprint
Published: 2020
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866912641208811520
author Esteban, María
Jansana, Ramon
author_facet Esteban, María
Jansana, Ramon
contents We first present a Priestley-style dualitiy for the classes of algebras that are the algebraic counterpart of some congruential, finitary and filter-distributive logic with theorems. Then we analyze which properties of the dual spaces correspond to properties that the logic might enjoy, like the deduction theorem or the existence of a disjunction.
format Preprint
id arxiv_https___arxiv_org_abs_2003_00999
institution arXiv
publishDate 2020
record_format arxiv
spellingShingle Priestley-style duality for filter-distributive congruential logics
Esteban, María
Jansana, Ramon
Logic
We first present a Priestley-style dualitiy for the classes of algebras that are the algebraic counterpart of some congruential, finitary and filter-distributive logic with theorems. Then we analyze which properties of the dual spaces correspond to properties that the logic might enjoy, like the deduction theorem or the existence of a disjunction.
title Priestley-style duality for filter-distributive congruential logics
topic Logic
url https://arxiv.org/abs/2003.00999