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)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAE004

zbMATH Keywords

dual intuitionistic negationintuitionistic logicmodal logic

Mathematics Subject Classification ID

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

Cites work

• A regular variety of type \(<2,2,1,1,0,0>\)
• Applications of Kripke models to Heyting-Brouwer logic
• Bi-Heyting algebras, toposes and modalities
• Constructivism in mathematics. An introduction. Volume I
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 3997784 (Why is no real title available?)
• scientific article; zbMATH DE number 3380600 (Why is no real title available?)
• scientific article; zbMATH DE number 3106019 (Why is no real title available?)
• Logics preserving degrees of truth from varieties of residuated lattices
• Moisil's modal logic and related systems
• On canonicity and strong completeness conditions in intermediate propositional logics
• Regular double p-algebras
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
• The structure of distributive double p-algebras. Regularity and congruences
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schließen. II.

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)