Routley star and hyperintensionality

DOI10.1007/s10992-020-09558-5OpenAlexW3031086101MaRDI QIDQ830371

Sergei 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)

Related Items (7)

The Došen square under construction: a tale of four modalities ⋮ Sequent calculi for the propositional logic of HYPE ⋮ <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT ⋮ Qualitative reasoning in a two-layered framework ⋮ PROOF SYSTEMS FOR EXACT ENTAILMENT ⋮ THE LOGIC OF INFORMATION IN STATE SPACES ⋮ Paraconsistent Gödel modal logic

Cites Work

• 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}\)
• Nelson's negation on the base of weaker versions of intuitionistic negation
• Combining intuitionistic connectives and Routley negation
• Finite model property for negative modalities
• Distributive lattices with a dual homomorphic operation
• Hyperintensional logic
• 40 years of FDE: an introductory overview
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• A more general general proof theory
• The logic of generalized truth values and the logic of bilattices
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• On the theory of inconsistent formal systems
• Falsification, natural deduction and bi-intuitionistic logic
• On Split Negation, Strong Negation, Information, Falsification, and Verification
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• Constructible falsity and inexact predicates
• Heyting Algebras with a Dual Lattice Endomorphism
• The well-founded semantics for general logic programs
• On the Methodology of Paraconsistent Logic
• The Semantics of First Degree Entailment
• Double Negation Operator in Logic N ∗
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Routley star and hyperintensionality