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

DOI10.1007/S00153-011-0265-4MaRDI QIDQ412072zbMATH OpenOpenAlexWikidataFDO

Authors Sanmin Wang, Daowu Pei

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

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

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

Cites work

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

Cited in

(3)

• The finite model property for semilinear substructural logics
• A note on monothetic BCI
• An abelian rule for BCI -- and variations

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)