All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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