On an axiomatic system for the logic of linearly ordered BCI-matrices

DOI10.1007/s00153-011-0265-4zbMath1248.03015OpenAlexW1973063351WikidataQ59306553 ScholiaQ59306553MaRDI QIDQ412072

Dao-Wu Pei, San-min Wang

Publication date: 3 May 2012

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-011-0265-4

zbMATH Keywords

fuzzy logicBCI systemFBCI systemweakly implicative logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)

Related Items (1)

The finite model property for semilinear substructural logics

Cites Work

• Solutions to Cintula's open problems
• Implicational (semilinear) logics. I: A new hierarchy
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A survey of abstract algebraic logic
• Linearization of the BCK-logic
• Fuzzy logics as the logics of chains
• Weakly implicative (fuzzy) logics. I: Basic properties
• Proof theory for fuzzy logics
• Algebraizable logics
• The implicational fragment of Dummett's LC
• Substructural fuzzy logics
• Protoalgebraic logics

This page was built for publication: On an axiomatic system for the logic of linearly ordered BCI-matrices