scientific article; zbMATH DE number 3767623

zbMATH Open0488.03007MaRDI QIDQ3949031FDOQ3949031

Authors: Pavel Tichý 

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

natural languagepartial functiontruth-value gapsreplacement theoremfunctional abstractioncompensation theoremconceptual schemepolyadic functions

Mathematics Subject Classification ID

Cited In (8)

• Existential import and relations of categorical and modal categorical statements
• Substitution inconsistencies in transparent intensional logic
• Type polymorphism, natural language semantics, and TIL
• Algorithmic theories of problems. A constructive and a non-constructive approach
• Anatomy of a proposition
• A mechanization of strong Kleene logic for partial functions
• Puzzles of existential generalisation from type-theoretic perspective
• The Rule of Existential Generalisation and Explicit Substitution

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)