An algebraic analysis of implication in non-distributive logics

DOI10.1093/logcom/exac041OpenAlexW3162296739MaRDI QIDQ5878287

Antonio Ledda, Helmut Länger, Jan Paseka, Davide Fazio, Kadir Emir, Ivan Chajda

Publication date: 20 February 2023

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2105.08528

zbMATH Keywords

orthomodular latticesimplication algebraspseudocomplemented latticesHilbert algebrassectionally pseudocomplemented latticesskew Hilbert algebras

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: An algebraic analysis of implication in non-distributive logics