Combining intuitionistic connectives and Routley negation
From MaRDI portal
(Redirected from Publication:890788)
Recommendations
Cited in
(10)- Some modal operators over intuitionistic logic
- Routley star and hyperintensionality
- scientific article; zbMATH DE number 6131386 (Why is no real title available?)
- On displaying negative modalities
- Neighbourhood semantics for FDE-based modal logics
- Composition of an intuitionistic negation and negative modalities as a necessity operator
- A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability
- Double negation operator in logic \(N^*\)
- The Došen square under construction: a tale of four modalities
- Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?
This page was built for publication: Combining intuitionistic connectives and Routley negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q890788)