scientific article; zbMATH DE number 3767623
From MaRDI portal
Publication:3949031
compensation theoremconceptual schemefunctional abstractionnatural languagepartial functionpolyadic functionsreplacement theoremtruth-value gaps
Cited in
(10)- Anatomy of a proposition
- Existential import and relations of categorical and modal categorical statements
- Algorithmic theories of problems. A constructive and a non-constructive approach
- The Rule of Existential Generalisation and Explicit Substitution
- A mechanization of strong Kleene logic for partial functions
- Substitution inconsistencies in transparent intensional logic
- Type polymorphism, natural language semantics, and TIL
- Puzzles of existential generalisation from type-theoretic perspective
- Twin procedures, two kinds of variable binding, and two kinds of computation
- Two cases of deduction with non-referring descriptions
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 Q3949031)
