HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517): Difference between revisions

@@ Property / cites work @@
+Constructible falsity and inexact predicates
@@ Property / cites work: Constructible falsity and inexact predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530614
@@ Property / cites work: Q4530614 / rank @@
+Normal rank
@@ Property / cites work @@
+A new conditional for naive truth theory
@@ Property / cites work: A new conditional for naive truth theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951952
@@ Property / cites work: Q4951952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3250590
@@ Property / cites work: Q3250590 / rank @@
+Normal rank
@@ Property / cites work @@
+Anti-intuitionism and paraconsistency
@@ Property / cites work: Anti-intuitionism and paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q5791196
@@ Property / cites work: Q5791196 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic version of positive semilattice relevance logic
+Normal rank
@@ Property / cites work @@
+Inquisitive logic
@@ Property / cites work: Inquisitive logic / rank @@
+Normal rank
@@ Property / cites work @@
+Tolerant, classical, strict
@@ Property / cites work: Tolerant, classical, strict / rank @@
+Normal rank
@@ Property / cites work @@
+Integer Programming
@@ Property / cites work: Integer Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Clutters and matroids
@@ Property / cites work: Clutters and matroids / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE LOGIC OF FACTUAL EQUIVALENCE
@@ Property / cites work: ON THE LOGIC OF FACTUAL EQUIVALENCE / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperintensional logic
@@ Property / cites work: Hyperintensional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitive semantics for first-degree entailments and `coupled trees'
+Normal rank
@@ Property / cites work @@
+Q2751047
@@ Property / cites work: Q2751047 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715515
@@ Property / cites work: Q2715515 / rank @@
+Normal rank
@@ Property / cites work @@
+Partiality and its dual
@@ Property / cites work: Partiality and its dual / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank
@@ Property / cites work @@
+Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
+Normal rank
@@ Property / cites work @@
+Bottleneck extrema
@@ Property / cites work: Bottleneck extrema / rank @@
+Normal rank
@@ Property / cites work @@
+Toward useful type-free theories. I
@@ Property / cites work: Toward useful type-free theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / rank @@
+Normal rank
@@ Property / cites work @@
+NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER
+Normal rank
@@ Property / cites work @@
+THE PURE LOGIC OF GROUND
@@ Property / cites work: THE PURE LOGIC OF GROUND / rank @@
+Normal rank
@@ Property / cites work @@
+Truth-maker semantics for intuitionistic logic
@@ Property / cites work: Truth-maker semantics for intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Angellic content
@@ Property / cites work: Angellic content / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547849
@@ Property / cites work: Q4547849 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Q2934756
@@ Property / cites work: Q2934756 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic analysis of orthologic
@@ Property / cites work: Semantic analysis of orthologic / rank @@
+Normal rank
@@ Property / cites work @@
+A logic stronger than intuitionism
@@ Property / cites work: A logic stronger than intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287487
@@ Property / cites work: Q4287487 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditionals in theories of truth
@@ Property / cites work: Conditionals in theories of truth / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic with strong negation
@@ Property / cites work: Intuitionistic logic with strong negation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Kripke's theory of truth
@@ Property / cites work: Axiomatizing Kripke's theory of truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451078
@@ Property / cites work: Q4451078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5534259
@@ Property / cites work: Q5534259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5419888
@@ Property / cites work: Q5419888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093483
@@ Property / cites work: Q3093483 / rank @@
+Normal rank
@@ Property / cites work @@
+FDE: A Logic of Clutters
@@ Property / cites work: FDE: A Logic of Clutters / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices With Involution
@@ Property / cites work: Lattices With Involution / rank @@
+Normal rank
@@ Property / cites work @@
+Logics and falsifications. A new perspective on constructivist semantics
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
+Normal rank
@@ Property / cites work @@
+Truth and the liar in De Morgan-valued models
@@ Property / cites work: Truth and the liar in De Morgan-valued models / rank @@
+Normal rank
@@ Property / cites work @@
+What truth depends on
@@ Property / cites work: What truth depends on / rank @@
+Normal rank
@@ Property / cites work @@
+On the Ramsey test without triviality
@@ Property / cites work: On the Ramsey test without triviality / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768759
@@ Property / cites work: Q2768759 / rank @@
+Normal rank
@@ Property / cites work @@
+Five faces of minimality
@@ Property / cites work: Five faces of minimality / rank @@
+Normal rank
@@ Property / cites work @@
+Relevant logic and the theory of information
@@ Property / cites work: Relevant logic and the theory of information / rank @@
+Normal rank
@@ Property / cites work @@
+Information, Negation, and Paraconsistency
@@ Property / cites work: Information, Negation, and Paraconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Hintikka's independence-friendly logic meets Nelson's realizability
+Normal rank
@@ Property / cites work @@
+Nothing but the truth
@@ Property / cites work: Nothing but the truth / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperintensions
@@ Property / cites work: Hyperintensions / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of paradox
@@ Property / cites work: The logic of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992933
@@ Property / cites work: Q3992933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518425
@@ Property / cites work: Q3518425 / rank @@
+Normal rank
@@ Property / cites work @@
+SUBSTRUCTURAL INQUISITIVE LOGICS
@@ Property / cites work: SUBSTRUCTURAL INQUISITIVE LOGICS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on the Rasiowa-Sikorski lemma
@@ Property / cites work: Notes on the Rasiowa-Sikorski lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Four-valued semantics for relevant logics (and some of their rivals)
+Normal rank
@@ Property / cites work @@
+Q5691522
@@ Property / cites work: Q5691522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4709466
@@ Property / cites work: Q4709466 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding a conditional to Kripke's theory of truth
@@ Property / cites work: Adding a conditional to Kripke's theory of truth / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of First Degree Entailment
@@ Property / cites work: The Semantics of First Degree Entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMS FOR GROUNDED TRUTH
@@ Property / cites work: AXIOMS FOR GROUNDED TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+A LOGIC FOR ‘BECAUSE’
@@ Property / cites work: A LOGIC FOR ‘BECAUSE’ / rank @@
+Normal rank
@@ Property / cites work @@
+The Forbidden Minors of Binary Clutters
@@ Property / cites work: The Forbidden Minors of Binary Clutters / rank @@
+Normal rank
@@ Property / cites work @@
+A semantical study of constructible falsity
@@ Property / cites work: A semantical study of constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Four valued semantics and the Liar
@@ Property / cites work: Four valued semantics and the Liar / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank
@@ Property / cites work @@
+Paradox, truth and logic. I. Paradox and truth
@@ Property / cites work: Paradox, truth and logic. I. Paradox and truth / rank @@
+Normal rank
@@ Property / cites work @@
+Grounding, dependence, and paradox
@@ Property / cites work: Grounding, dependence, and paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Blocker size via matching minors
@@ Property / cites work: Blocker size via matching minors / rank @@
+Normal rank