Pages that link to "Item:Q967450"
From MaRDI portal
The following pages link to Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic (Q967450):
Displayed 38 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Agnostic hyperintensional semantics (Q514078) (← links)
- Type-theoretic logic with an operational account of intensionality (Q514081) (← links)
- Constructive belief reports (Q514084) (← links)
- Transparent quantification into hyperintensional objectual attitudes (Q514087) (← links)
- The paradox of inference and the non-triviality of analytic information (Q600847) (← links)
- Iterated privation and positive predication (Q1693595) (← links)
- Impossible worlds and the logic of imagination (Q1707216) (← links)
- On the number of types (Q1708962) (← links)
- Evaluative linguistic expressions vs. fuzzy categories (Q2014420) (← links)
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics (Q2037304) (← links)
- Introduction: primitivism versus reductionism about the problem of the unity of the proposition (Q2052187) (← links)
- If structured propositions are logical procedures then how are procedures individuated? (Q2052189) (← links)
- Anatomy of a proposition (Q2052190) (← links)
- A general argument against structured propositions (Q2052204) (← links)
- Meaning and computing: two approaches to computable propositions (Q2148782) (← links)
- Free choice reasons (Q2219154) (← links)
- The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many'' (Q2219168) (← links)
- Substitution contradiction, its resolution and the Church-Rosser theorem in TIL (Q2301323) (← links)
- Subtypes in fuzzy type theory (Q2328911) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- Hyperintensional logics for everyone (Q2693110) (← links)
- On modelling with words (Q2845276) (← links)
- Existential Import and Relations of Categorical and Modal Categorical Statements (Q3121968) (← links)
- Extensional Logic of Hyperintensions (Q3224007) (← links)
- Qualifying Quantifying-in (Q3299527) (← links)
- From Classical to Fuzzy Type Theory (Q3454816) (← links)
- Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach (Q4565827) (← links)
- The Concept of Linguistic Variable Revisited (Q5015714) (← links)
- (Q5093386) (← links)
- Inconsistency in Ceteris Paribus Imagination (Q5213755) (← links)
- How to Unify Russellian and Strawsonian Definite Descriptions (Q5259658) (← links)
- Explicating the Notion of Truth Within Transparent Intensional Logic (Q5259663) (← links)
- Substitution inconsistencies in Transparent Intensional Logic (Q5862004) (← links)
- Between Imagination and Gambling. The Forms of Validity in Scholastic Logic (Q6098754) (← links)
- First among equals: co-hyperintensionality for structured propositions (Q6142500) (← links)
- Type polymorphism, natural language semantics, and TIL (Q6156627) (← links)
- Semantic theories, linguistic essences, and knowledge of meaning (Q6180168) (← links)