Pages that link to "Item:Q967450"

The following pages link to Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic (Q967450):

Displaying 41 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)
• (Q4003905) (← links)
• Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach (Q4565827) (← links)
• The Concept of Linguistic Variable Revisited (Q5015714) (← links)
• (Q5093386) (← links)
• (Q5199098) (← 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)
• Procedural semantics and its relevance to paradox (Q6559159) (← links)