Lattice BCK logics with Modus Ponens as unique rule
From MaRDI portal
Publication:5419214
DOI10.1002/malq.201300065zbMath1338.03045OpenAlexW1481390334MaRDI QIDQ5419214
Antoni Torrens Torrell, Joan Gispert i Brasó
Publication date: 6 June 2014
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201300065
Cites Work
- Unnamed Item
- Unnamed Item
- Local deductions theorems
- On the quasivariety of BCK-algebras and its subvarieties
- Free Łukasiewicz and hoop residuation algebras
- Notes on the axiomatics of the propositional calculus
- Note on Deduction Theorems in contraction-free logics
- Bounded BCK-algebras and their generated variety
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- An algebra related with a propositional calculus
This page was built for publication: Lattice BCK logics with Modus Ponens as unique rule