The following pages link to (Q3992728):
Displayed 37 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- Type-theoretic logic with an operational account of intensionality (Q514081) (← links)
- Transparent quantification into hyperintensional objectual attitudes (Q514087) (← links)
- The paradox of inference and the non-triviality of analytic information (Q600847) (← links)
- On fuzzy type theory (Q703370) (← links)
- Predication and extensionalization (Q1029819) (← links)
- Classical harmony: Rules of inference and the meaning of the logical constants (Q1340989) (← links)
- Formal theories and linguistic descriptions. (Q1428681) (← links)
- On the number of types (Q1708962) (← links)
- In defense of logical universalism: taking issue with Jean van Heijenoort (Q1942101) (← links)
- If structured propositions are logical procedures then how are procedures individuated? (Q2052189) (← links)
- Anatomy of a proposition (Q2052190) (← links)
- Meaning and computing: two approaches to computable propositions (Q2148782) (← links)
- Towards a more general concept of inference (Q2254558) (← links)
- Substitution contradiction, its resolution and the Church-Rosser theorem in TIL (Q2301323) (← links)
- A new logic of technical malfunction (Q2377053) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- Hyperintensional logics for everyone (Q2693110) (← links)
- Extensionality and logicality (Q2695031) (← links)
- Existential Import and Relations of Categorical and Modal Categorical Statements (Q3121968) (← links)
- Extensional Logic of Hyperintensions (Q3224007) (← links)
- Qualifying Quantifying-in (Q3299527) (← links)
- Frege, the identity of<i>Sinn</i>and Carnap's intension (Q3429440) (← links)
- From Classical to Fuzzy Type Theory (Q3454816) (← links)
- Decomposition and analysis in frege’s<i>grundgesetze</i> (Q4344729) (← links)
- Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach (Q4565827) (← links)
- The Structure of Frege's Thoughts (Q4914179) (← links)
- The Concept of Linguistic Variable Revisited (Q5015714) (← links)
- The Rule of Existential Generalisation and Explicit Substitution (Q5066098) (← links)
- (Q5093386) (← links)
- Inversion Principles and Introduction Rules (Q5213611) (← 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)
- The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)
- Type polymorphism, natural language semantics, and TIL (Q6156627) (← links)