Routley star and hyperintensionality

DOI10.1007/S10992-020-09558-5OpenAlexW3031086101MaRDI QIDQ830371FDOQ830371

S. P. Odintsov, Heinrich Wansing

Publication date: 7 May 2021

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-020-09558-5

zbMATH Keywords

Heyting-Ockham logicHYPEhyperintensional contextsroutley star operationVakarelov's theory of negation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• 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
• On the theory of inconsistent formal systems
• Negation in relevant logics. (How I stopped worrying and learned to love the Routley star)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Semantics of First Degree Entailment
• Title not available (Why is that?)
• Distributive lattices with a dual homomorphic operation
• Nelson's negation on the base of weaker versions of intuitionistic negation
• Title not available (Why is that?)
• Heyting Algebras with a Dual Lattice Endomorphism
• On the Methodology of Paraconsistent Logic
• Title not available (Why is that?)
• Constructible falsity and inexact predicates
• Title not available (Why is that?)
• Title not available (Why is that?)
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• Title not available (Why is that?)
• Hyperintensional logic
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
• Combining intuitionistic connectives and Routley negation
• Title not available (Why is that?)
• 40 years of FDE: an introductory overview
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• A more general general proof theory
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Falsification, natural deduction and bi-intuitionistic logic
• On Split Negation, Strong Negation, Information, Falsification, and Verification
• Title not available (Why is that?)
• Double Negation Operator in Logic N ∗
• Title not available (Why is that?)
• Finite model property for negative modalities

Cited In (11)

• Hyperintensionality in relevant logics
• PROOF SYSTEMS FOR EXACT ENTAILMENT
• The Došen square under construction: a tale of four modalities
• <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT
• THE LOGIC OF INFORMATION IN STATE SPACES
• A truthmaker-based epistemic logic
• Paraconsistent Gödel modal logic
• Sequent calculi for the propositional logic of HYPE
• Epistemic logics for relevant reasoners
• On Ivlev's semantics for modality
• Qualitative reasoning in a two-layered framework

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)