On an axiomatic system for the logic of linearly ordered BCI-matrices
type: Item
instance of: scholarly article
title: On an axiomatic system for the logic of linearly ordered BCI-matrices
zbMATH Open document ID: 1248.03015
author: Sanmin Wang
author: Daowu Pei
published in: Archive for Mathematical Logic
publication date: 2012-05-03T00:00:00Z
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B52
zbMATH DE Number: 6029804
zbMATH Keywords: fuzzy logic
zbMATH Keywords: weakly implicative logic
zbMATH Keywords: BCI system
zbMATH Keywords: FBCI system
MaRDI profile type: Publication
Wikidata QID: Q59306553
full work available at URL: s00153-011-0265-4
OpenAlex ID: W1973063351
cites work: Fuzzy logics as the logics of chains
cites work: Algebraizable logics
cites work: The implicational fragment of Dummett's LC
cites work: Weakly implicative (fuzzy) logics. I: Basic properties
cites work: Implicational (semilinear) logics. I: A new hierarchy
cites work: Protoalgebraic logics
cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
cites work: A survey of abstract algebraic logic
cites work: Linearization of the BCK-logic
cites work: Substructural fuzzy logics
cites work: Proof theory for fuzzy logics
cites work: Solutions to Cintula's open problems
DOI: 10.1007/S00153-011-0265-4
description: scientific article; zbMATH DE number 6029804