On Polarity Frames: Applications to Substructural and Lattice-Based Logics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F14%3A00439788" target="_blank" >RIV/67985807:_____/14:00439788 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

On Polarity Frames: Applications to Substructural and Lattice-Based Logics

Popis výsledku v původním jazyce

In this paper, on one hand, we address topology on polarities via general polarity frames by analogy of the relationship between topology on sets and general Kripke frames. Based on the topology on polarities, we provide the topological characterisationof descriptive polarity frames. On the other hand, we introduce disjoint unions and amalgamations of polarity frames with additional relations and constants. As applications of these constructions, we establish the Goldblatt-Thomason's theorem for (distributive) substructural logic and the amalgamation property for some lattice- based algebras.

Název v anglickém jazyce

On Polarity Frames: Applications to Substructural and Lattice-Based Logics

Popis výsledku anglicky

In this paper, on one hand, we address topology on polarities via general polarity frames by analogy of the relationship between topology on sets and general Kripke frames. Based on the topology on polarities, we provide the topological characterisationof descriptive polarity frames. On the other hand, we introduce disjoint unions and amalgamations of polarity frames with additional relations and constants. As applications of these constructions, we establish the Goldblatt-Thomason's theorem for (distributive) substructural logic and the amalgamation property for some lattice- based algebras.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP202%2F10%2F1826" target="_blank" >GAP202/10/1826: Matematická fuzzy logika v informatice</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Advances in Modal Logic

ISBN

978-1-84890-151-3

ISSN

—

e-ISSN

—

Počet stran výsledku

20

Strana od-do

533-552

Název nakladatele

College Publications

Místo vydání

London

Místo konání akce

Groningen

Datum konání akce

5. 8. 2014

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—