The algebraic semantics for the one-variable monadic fragment of the predicate logic \mathcal{G}\forall_{\sim}

MaRDI QIDQ6753799arXivFDO

Authors Diego Castaño, Valeria Castaño, Patricio Díaz Varela, Marcela Muñoz Santis

Publication date 2024

Published in arXiv

arXiv classification

math.LO

This page was built for publication: The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$

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