Linearization of the BCK-logic

DOI10.1023/A:1005290924926zbMath0968.03029OpenAlexW1608894631MaRDI QIDQ1576377

Francisco M. García Olmedo, Antonio J. Rodríguez Salas

Publication date: 22 November 2000

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005290924926

zbMATH Keywords

BCK-algebrasalgebraic semanticsalgebraizable logicsubdirect productBCK-chains

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (7)

For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ On an axiomatic system for the logic of linearly ordered BCI-matrices ⋮ Boolean representation of bounded BCK-algebras ⋮ Formal systems of fuzzy logic and their fragments ⋮ Unnamed Item ⋮ Representable good EQ-algebras ⋮ Weakly implicative (fuzzy) logics. I: Basic properties

This page was built for publication: Linearization of the BCK-logic