On an axiomatic system for the logic of linearly ordered BCI-matrices
From MaRDI portal
(Redirected from Publication:412072)
Recommendations
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)
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)