Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity
The result's identifiers
Result code in 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>
Alternative codes found
RIV/67985556:_____/16:00448459
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA13-14654S" target="_blank" >GA13-14654S: An Order-Based Approach to Non-Classical Propositional and Predicate Logics</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Archive for Mathematical Logic
ISSN
0933-5846
e-ISSN
—
Volume of the periodical
55
Issue of the periodical within the volume
3
Country of publishing house
DE - GERMANY
Number of pages
20
Pages from-to
353-372
UT code for WoS article
000374969600001
EID of the result in the Scopus database
2-s2.0-84945261116