Archive for Mathematical Logic 47 (5):435-446 (2008)

This paper is a contribution to the general study of consequence relations which contain (definable) connective of “disjunction”. Our work is centered around the “proof by cases property”, we present several of its equivalent definitions, and show some interesting applications, namely in constructing axiomatic systems for intersections of logics and recognizing weakly implicative fuzzy logics among the weakly implicative ones
Keywords Logics with disjunction  Consequence relation  Proof by cases property  Intersections of logics  Weakly implicative logics  Weakly implicative fuzzy logics
Categories (categorize this paper)
DOI 10.1007/s00153-008-0088-0
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,043
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

An Algebraic Approach to Non-Classical Logics.Helena Rasiowa - 1974 - Amsterdam, Netherlands: Warszawa, Pwn - Polish Scientific Publishers.
A Survey of Abstract Algebraic Logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
An Introduction to Substructural Logics (Review).Kosta Dosen - 2001 - Bulletin of Symbolic Logic 7 (4):527-530.
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.

View all 10 references / Add more references

Citations of this work BETA

HpsUL is Not the Logic of Pseudo-Uninorms and Their Residua.Sanmin Wang & Bin Zhao - 2009 - Logic Journal of the IGPL 17 (4):413-419.
Selfextensional Logics with a Distributive Nearlattice Term.Luciano J. González - 2019 - Archive for Mathematical Logic 58 (1-2):219-243.
The Finite Model Property for Semilinear Substructural Logics.San-Min Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):268-273.

Add more citations

Similar books and articles

Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
Weakly Algebraizable Logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.
Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
Advances in the ŁΠ and Logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Mathematical Fuzzy Logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.


Added to PP index

Total views
19 ( #579,155 of 2,498,575 )

Recent downloads (6 months)
1 ( #426,098 of 2,498,575 )

How can I increase my downloads?


My notes