Recommendations
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Sequent calculi for the propositional logic of HYPE
- Hyperintensional logics for everyone
- Combining intuitionistic connectives and Routley negation
- Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
Cites work
- scientific article; zbMATH DE number 4016857 (Why is no real title available?)
- scientific article; zbMATH DE number 4132132 (Why is no real title available?)
- scientific article; zbMATH DE number 3134289 (Why is no real title available?)
- scientific article; zbMATH DE number 3931080 (Why is no real title available?)
- scientific article; zbMATH DE number 3677803 (Why is no real title available?)
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- scientific article; zbMATH DE number 6407640 (Why is no real title available?)
- scientific article; zbMATH DE number 3289417 (Why is no real title available?)
- scientific article; zbMATH DE number 3106019 (Why is no real title available?)
- 40 years of FDE: an introductory overview
- A more general general proof theory
- Abstract algebraic logic. An introductory textbook
- Combining intuitionistic connectives and Routley negation
- Constructible falsity and inexact predicates
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Distributive lattices with a dual homomorphic operation
- Double negation operator in logic \(N^*\)
- Falsification, natural deduction and bi-intuitionistic logic
- Finite model property for negative modalities
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Heyting Algebras with a Dual Lattice Endomorphism
- Hyperintensional logic
- Many-valued modal logics: a simple approach
- Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
- Nelson's negation on the base of weaker versions of intuitionistic negation
- On split negation, strong negation, information, falsification, and verification
- On the methodology of paraconsistent logic
- On the theory of inconsistent formal systems
- The Semantics of First Degree Entailment
- The connectives
- The logic of generalized truth values and the logic of bilattices
- The well-founded semantics for general logic programs
- Truth and falsehood. An inquiry into generalized logical values
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
Cited in
(11)- PROOF SYSTEMS FOR EXACT ENTAILMENT
- Epistemic logics for relevant reasoners
- On Ivlev's semantics for modality
- Qualitative reasoning in a two-layered framework
- Sequent calculi for the propositional logic of HYPE
- A truthmaker-based epistemic logic
- The logic of information in state spaces
- Paraconsistent Gödel modal logic
- Hyperintensionality in relevant logics
- The Došen square under construction: a tale of four modalities
- <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT
This page was built for publication: Routley star and hyperintensionality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q830371)
