Salvato in:
Dettagli Bibliografici
Autori principali: Esteban, María, Jansana, Ramon
Natura: Preprint
Pubblicazione: 2020
Soggetti:
Accesso online:https://arxiv.org/abs/2003.00999
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Sommario:
  • 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.