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

DOI10.1007/S00153-011-0265-4zbMATH Open1248.03015OpenAlexW1973063351WikidataQ59306553 ScholiaQ59306553MaRDI QIDQ412072FDOQ412072

Daowu Pei, Sanmin 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

Recommendations

• Solutions to Cintula's open problems
• scientific article; zbMATH DE number 3910393
• The finite model property for BCI and related systems
• A note on monothetic BCI
• Linearization of the BCK-logic

zbMATH Keywords

fuzzy logicBCI systemFBCI systemweakly implicative logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• The finite model property for semilinear substructural logics
• A note on monothetic BCI

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q412072)