HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
From MaRDI portal
Publication:2421517
DOI10.1007/s10992-018-9467-0zbMath1457.03057OpenAlexW2839780276MaRDI QIDQ2421517
Publication date: 17 June 2019
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-018-9467-0
semantic paradoxesintuitionistic logicparaconsistent logicclutterstruthmaker semanticshyperintensional
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
Routley star and hyperintensionality ⋮ A more unified approach to free logics ⋮ Sequent calculi for the propositional logic of HYPE ⋮ A semantics for hyperintensional belief revision based on information bases ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE ⋮ Towards a Logic of Value and Disagreement via Imprecise Measures ⋮ Qualitative reasoning in a two-layered framework ⋮ Logics of synonymy ⋮ THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS ⋮ Conjunctive paraconsistency ⋮ PROOF SYSTEMS FOR EXACT ENTAILMENT ⋮ Some remarks on semantics and expressiveness of the sentential calculus with identity ⋮ A modal loosely guarded fragment of second-order propositional modal logic ⋮ Logic talk ⋮ Hyperintensional logics for everyone ⋮ Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism ⋮ THE LOGIC OF INFORMATION IN STATE SPACES ⋮ Toward a generalization of the logic of grounding ⋮ Paraconsistent Gödel modal logic
Cites Work
- Angellic content
- Tolerant, classical, strict
- Truth-maker semantics for intuitionistic logic
- Inquisitive logic
- Paradox, truth and logic. I. Paradox and truth
- Four valued semantics and the Liar
- What truth depends on
- Residuated lattices. An algebraic glimpse at substructural logics
- Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
- On the Ramsey test without triviality
- Grounding, dependence, and paradox
- Nonmonotonic reasoning, preferential models and cumulative logics
- Clutters and matroids
- Hyperintensional logic
- Notes on the Rasiowa-Sikorski lemma
- Intuitionistic logic with strong negation
- The logic of paradox
- Relevant logic and the theory of information
- The logic of information structures
- Five faces of minimality
- Four-valued semantics for relevant logics (and some of their rivals)
- Truth and the liar in De Morgan-valued models
- Semantic analysis of orthologic
- Blocker size via matching minors
- Hintikka's independence-friendly logic meets Nelson's realizability
- Anti-intuitionism and paraconsistency
- Handbook of philosophical logic. Vol. 6
- Intuitive semantics for first-degree entailments and `coupled trees'
- Partiality and its dual
- A new conditional for naive truth theory
- Nothing but the truth
- Adding a conditional to Kripke's theory of truth
- Conditionals in theories of truth
- Logics and falsifications. A new perspective on constructivist semantics
- ON THE LOGIC OF FACTUAL EQUIVALENCE
- AXIOMS FOR GROUNDED TRUTH
- NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER
- A LOGIC FOR ‘BECAUSE’
- Integer Programming
- Toward useful type-free theories. I
- Constructible falsity and inexact predicates
- An axiomatic version of positive semilattice relevance logic
- The Forbidden Minors of Binary Clutters
- A logic stronger than intuitionism
- Outline of a Theory of Truth
- Information, Negation, and Paraconsistency
- FDE: A Logic of Clutters
- The Semantics of First Degree Entailment
- SUBSTRUCTURAL INQUISITIVE LOGICS
- Hyperintensions
- THE PURE LOGIC OF GROUND
- Axiomatizing Kripke's theory of truth
- A semantical study of constructible falsity
- Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
- Bottleneck extrema
- Lattices With Involution
- Constructible falsity
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
