Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F16%3A00448459" target="_blank" >RIV/67985807:_____/16:00448459 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985556:_____/16:00448459

Výsledek na webu

<a href="http://dx.doi.org/10.1007/s00153-015-0452-9" target="_blank" >http://dx.doi.org/10.1007/s00153-015-0452-9</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s00153-015-0452-9" target="_blank" >10.1007/s00153-015-0452-9</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity

Popis výsledku v původním jazyce

This is the continuation of the paper (Cintula and Noguera in Arch Math Log 49(4):417–446, 2010). We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect to the class of models where the implication defines a linear order. We obtain general characterizations of semilinearity in terms of the intersection-prime extension property, the syntactical semilinearity metarule and the class of finitely subdirectly irreducible models. Moreover, we consider extensions of the language with lattice connectives and generalized disjunctions, study their interplay with implication and obtain axiomatizations and further descriptions of semilinear logics in terms of disjunctions and the proof by cases property.

Název v anglickém jazyce

Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity

Popis výsledku anglicky

This is the continuation of the paper (Cintula and Noguera in Arch Math Log 49(4):417–446, 2010). We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect to the class of models where the implication defines a linear order. We obtain general characterizations of semilinearity in terms of the intersection-prime extension property, the syntactical semilinearity metarule and the class of finitely subdirectly irreducible models. Moreover, we consider extensions of the language with lattice connectives and generalized disjunctions, study their interplay with implication and obtain axiomatizations and further descriptions of semilinear logics in terms of disjunctions and the proof by cases property.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA13-14654S" target="_blank" >GA13-14654S: Neklasické výrokové a predikátové logiky: přístup založený na uspořádání</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2016

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 periodika

Archive for Mathematical Logic

ISSN

0933-5846

e-ISSN

—

Svazek periodika

55

Číslo periodika v rámci svazku

3

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

20

Strana od-do

353-372

Kód UT WoS článku

000374969600001

EID výsledku v databázi Scopus

2-s2.0-84945261116