scientific article; zbMATH DE number 3531346
From MaRDI portal
Publication:4108293
Cited in
(59)- Frege's double correlation thesis and Quine's set theories NF and ML
- lambda-normal forms in an intensional logic for English
- Logical investigations on PTQ arising from programming requirements
- The set of empirical questions that can be answered by an empirical theory
- Predication versus membership in the distinction between logic as language and logic a calculus
- Modal languages and bounded fragments of predicate logic
- Syntactical treatments of propositional attitudes
- The logic of pragmatic truth
- An intensional Schrödinger logic
- Some weakened Gödelian ontological systems
- Adjectival vagueness in a Bayesian model of interpretation
- Serious actualism and higher-order predication
- Propositional quantification in bimodal S5
- Closed structure
- Essence and necessity
- A note on intensionalization
- Higher-order contingentism. I: Closure and generation
- Truth, predication and a family of contingent paradoxes
- Selectional restrictions, types and categories
- Higher-order modal logics: automation and applications
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic
- Covert movement in logical grammar
- Paradoxes of intensionality
- All properties are divine or god exists -- the sacred thesis and its ontological argument
- Mereology in engineering and computer science
- From classical to fuzzy type theory
- Changing a Semantics: Opportunism or Courage?
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
- Exceptional Scope as Discourse Reference to Quantificational Dependencies
- Notes on the theory of variable binding term operators
- Remarks on Groenendijk and Stokhof's theory of indirect questions
- A relational formulation of the theory of types
- The Range of Modal Logic
- CAN MODALITIES SAVE NAIVE SET THEORY?
- Completeness in hybrid type theory
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts
- Hybrid tableaux for the difference modality
- The concept of linguistic variable revisited
- scientific article; zbMATH DE number 7563779 (Why is no real title available?)
- Agnostic hyperintensional semantics
- Type-theoretic logic with an operational account of intensionality
- Logics for propositional contingentism
- STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS
- Logical Foundations and Kant's Principles of Formal Logic
- First-order intensional logic
- Propositional forms of judgemental interpretations
- Logic operators and quantifiers in type-theory of algorithms
- Notes on Gödel's and Scott's variants of the ontological argument
- A vector logic for extensional formal semantics
- Hybrid partial type theory
- Typed object theory
- Finitary upper logicism
- On fuzzy type theory
- Title not available (Why is no real title available?)
- Logical structure of fuzzy IF-THEN rules
- FOIL axiomatized
- Quantum sortal predicates
- Extending Montague's system: A three valued intensional logic
- Structured anaphora to quantifier domains
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4108293)
