scientific article; zbMATH DE number 1746889

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200202)48:2<163::AID-MALQ163>3.0.CO;2-B" /><163::AID-MALQ163>3.0.CO;2-B 10.1002/1521-3870(200202)48:2<163::AID-MALQ163>3.0.CO;2-BzbMath1007.03017MaRDI QIDQ4531081

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

Publication date: 24 July 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraizable logicsquasivariety semanticsvariety of BCK-algebras\(n\)-valued systemsalgebraization of BCK-logicsthree-valued BCK-logic

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• Unnamed Item
• An algebraic approach to non-classical logics
• On the quasivariety of BCK-algebras and its subvarieties
• Linearization of the BCK-logic
• An algebra related with a propositional calculus

This page was built for publication: