Name
Title | ||
|---|---|---|
Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity |
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1007/s00153-015-0452-9 | Arch. Math. Log. |
Keywords | Field | DocType |
Abstract algebraic logic, Implicational logics, Disjunctional logics, Semilinear logics, Non-classical logics, Transfer theorems, 03B22, 03B47, 03B52, 03G99 | Discrete mathematics,T-norm fuzzy logics,Disjunction elimination,Algebra,Lattice (order),Continuation,Pure mathematics,Monoidal t-norm logic,Abstract algebraic logic,Mathematics | Journal |
Volume | Issue | ISSN |
55 | 3-4 | 1432-0665 |
Citations | PageRank | References |
3 | 0.44 | 7 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Petr Cintula | 1 | 601 | 50.37 |
| Carles Noguera | 2 | 462 | 33.93 |