Archive for Mathematical Logic 55 (3-4):353-372 (2016)

This is the continuation of the paper :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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s00153-015-0452-9
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,177
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Survey of Abstract Algebraic Logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
Selfextensional Logics with a Conjunction.Ramon Jansana - 2006 - Studia Logica 84 (1):63-104.

View all 8 references / Add more references

Citations of this work BETA

Implicational Logics III: Completeness Properties.Petr Cintula & Carles Noguera - 2018 - Archive for Mathematical Logic 57 (3-4):391-420.

Add more citations

Similar books and articles

The Shortest Possible Length of the Longest Implicational Axiom.Dolph Ulrich - 1996 - Journal of Philosophical Logic 25 (1):101 - 108.
Deduction Theorems for Weak Implicational Logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
Implicational F-Structures and Implicational Relevance Logics.A. Avron - 2000 - Journal of Symbolic Logic 65 (2):788-802.
On Combined Connectives.A. Sernadas, C. Sernadas & J. Rasga - 2011 - Logica Universalis 5 (2):205-224.
Completeness of Implicational Relevant Logics.R. Kashima - 2000 - Logic Journal of the IGPL 8 (6):761-785.
BCI-Algebras From the Point of View of Logic.Jacek K. Kabzinski - 1983 - Bulletin of the Section of Logic 12 (3):126-128.
The D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2011 - Australasian Journal of Logic 8:1-8.
An Algebraic Approach to Intuitionistic Connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
Noisy Vs. Merely Equivocal Logics.Patrick Allo - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 57--79.
Advances in the ŁΠ and Logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.


Added to PP index

Total views
15 ( #695,068 of 2,499,668 )

Recent downloads (6 months)
1 ( #418,206 of 2,499,668 )

How can I increase my downloads?


My notes