Pages that link to "Item:Q3218105"

The following pages link to Negative modal operators in intuitionistic logic (Q3218105):

Displaying 26 items.

• Negative modalities, consistency and determinedness (Q276032) (← links)
• Weakening and extending \(\mathbb{Z}\) (Q497880) (← links)
• Negation in the context of gaggle theory (Q813083) (← links)
• On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics (Q831227) (← links)
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
• Finite model property for negative modalities (Q890969) (← links)
• Negative equivalence over the minimal logic and interpolation (Q891973) (← links)
• Models for normal intuitionistic modal logics (Q1096612) (← links)
• A characterisation of some \(\mathbf{Z}\)-like logics (Q1653556) (← links)
• Sequent systems for negative modalities (Q1682296) (← links)
• Paraconsistent double negations as classical and intuitionistic negations (Q1685568) (← links)
• A general framework for FDE-based modal logics (Q2027214) (← links)
• The Došen square under construction: a tale of four modalities (Q2142095) (← links)
• Some modal operators over intuitionistic logic (Q2356087) (← links)
• Composition of an intuitionistic negation and negative modalities as a necessity operator (Q2434603) (← links)
• Paraconsistent double negation as a modal operator (Q2958215) (← links)
• On classical behavior of intuitionistic modalities (Q2987729) (← links)
• On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
• (Q3745828) (← links)
• Basic Propositional Calculus I (Q4210835) (← links)
• On Displaying Negative Modalities (Q4683222) (← links)
• (Q4690170) (← links)
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
• Double Negation Operator in Logic N ∗ (Q5741336) (← links)
• On Heyting algebras with negative tense operators (Q6067747) (← links)
• Normal companions of intuitionistic modal logics (Q6148006) (← links)