Complex representation of alpha graphs for implicative logic with conjunction

MaRDI QIDQ6151278zbMATH OpenFDO

Authors Arnold Oostra

Publication date 9 February 2024

Full work available at URL https://revistas.unal.edu.co/index.php/bolma/article/view/85497/74089

zbMATH Keywords

existential Alpha graphsHilbert algebrasimplicative logic with conjunctionisotopytotal curvature

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Isotopy and pseudo-isotopy (57N37)

Recommendations

• The existential graphs
• A categorical interpretation of C. S. Peirce's propositional logic Alpha
• A Weakening of Alpha Graphs: Quasi-Boolean Algebras
• Equivalence proof for intuitionistic existential alpha graphs
• A graphical deep inference system for intuitionistic logic

This page was built for publication: Complex representation of alpha graphs for implicative logic with conjunction

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