Modalities combining two negations

DOI10.1093/LOGCOM/EXAE004MaRDI QIDQ6915759zbMATH OpenFDO

Authors J. L. Castiglioni, Rodolfo C. Ertola-Biraben

Publication date 15 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicmodal logicdual intuitionistic negation

Mathematics Subject Classification ID

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

This page was built for publication: Modalities combining two negations

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