Proof-Theoretic Functional Completeness for the Connexive Logic C

From MaRDI portal

MaRDI QIDQ7184303arXivFDO

Authors Sara Ayhan, Hrafn Valtýr Oddsson

Publication date 2025

Published in arXiv


arXiv classification

cs.LO















This page was built for publication: Proof-Theoretic Functional Completeness for the Connexive Logic C

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Proof-Theoretic_Functional_Completeness_for_the_Connexive_Logic_C&oldid=107407688"
Powered by MediaWiki