An algebraic analysis of implication in non-distributive logics

DOI10.1093/LOGCOM/EXAC041MaRDI QIDQ5878287zbMATH OpenOpenAlexFDO

Authors Kadir Emir, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka, 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

Hilbert algebrasimplication algebrasorthomodular latticespseudocomplemented latticessectionally pseudocomplemented latticesskew Hilbert algebras

Mathematics Subject Classification ID

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

Cited in

(4)

• An algorithm for the class of pure implicational formulas
• scientific article; zbMATH DE number 3965470 (Why is no real title available?)
• Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle
• Remarks on skew Hilbert algebras and weak \(\mathrm{BCK}^\ast\)-algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5878287)