Orthologic with Axioms

DOI10.1145/3632881MaRDI QIDQ6443829zbMATH OpenFDO

Authors Simon Guilloud, Viktor Kuncak

Publication date 14 July 2023

Full work available at URL https://doi.org/10.1145/3632881

This page was built for publication: Orthologic with Axioms

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