The following pages link to (Q4108293):
Displaying 50 items.
- Selectional restrictions, types and categories (Q280845) (← links)
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- Agnostic hyperintensional semantics (Q514078) (← links)
- Type-theoretic logic with an operational account of intensionality (Q514081) (← links)
- First-order intensional logic (Q598308) (← links)
- On fuzzy type theory (Q703370) (← links)
- Logical structure of fuzzy IF-THEN rules (Q853465) (← links)
- FOIL axiomatized (Q865042) (← links)
- Quantum sortal predicates (Q885513) (← links)
- Extending Montague's system: A three valued intensional logic (Q918539) (← links)
- Structured anaphora to quantifier domains (Q964496) (← links)
- Frege's double correlation thesis and Quine's set theories NF and ML (Q1076005) (← links)
- lambda-normal forms in an intensional logic for English (Q1150588) (← links)
- Logical investigations on PTQ arising from programming requirements (Q1150589) (← links)
- The set of empirical questions that can be answered by an empirical theory (Q1151884) (← links)
- Predication versus membership in the distinction between logic as language and logic a calculus (Q1202495) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Syntactical treatments of propositional attitudes (Q1275601) (← links)
- The logic of pragmatic truth (Q1277331) (← links)
- An intensional Schrödinger logic (Q1381433) (← links)
- Some weakened Gödelian ontological systems (Q1425192) (← links)
- Adjectival vagueness in a Bayesian model of interpretation (Q1708887) (← links)
- Serious actualism and higher-order predication (Q2000669) (← links)
- Propositional quantification in bimodal S5 (Q2055931) (← links)
- Closed structure (Q2056214) (← links)
- Essence and necessity (Q2144211) (← links)
- A note on intensionalization (Q2255214) (← links)
- Higher-order contingentism. I: Closure and generation (Q2410888) (← links)
- Truth, predication and a family of contingent paradoxes (Q2420715) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- Covert Movement in Logical Grammar (Q3013021) (← links)
- PARADOXES OF INTENSIONALITY (Q3096820) (← links)
- All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument (Q3121970) (← links)
- Mereology in Engineering and Computer Science (Q3295807) (← links)
- From Classical to Fuzzy Type Theory (Q3454816) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- Exceptional Scope as Discourse Reference to Quantificational Dependencies (Q3623836) (← links)
- Notes on the theory of variable binding term operators (Q3657974) (← links)
- Remarks on Groenendijk and Stokhof's theory of indirect questions (Q3720569) (← links)
- A relational formulation of the theory of types (Q3824291) (← links)
- The Range of Modal Logic (Q4531586) (← links)
- CAN MODALITIES SAVE NAIVE SET THEORY? (Q4637947) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)
- The Concept of Linguistic Variable Revisited (Q5015714) (← links)
- (Q5093386) (← links)
- LOGICS FOR PROPOSITIONAL CONTINGENTISM (Q5274876) (← links)
- STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS (Q5357324) (← links)
