scientific article
From MaRDI portal
Publication:3949031
zbMath0488.03007MaRDI QIDQ3949031
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
natural languagetruth-value gapspartial functionreplacement theoremfunctional abstractioncompensation theoremconceptual schemepolyadic functions
Related Items
The Rule of Existential Generalisation and Explicit Substitution ⋮ Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach ⋮ Type polymorphism, natural language semantics, and TIL ⋮ A mechanization of strong Kleene logic for partial functions ⋮ Anatomy of a proposition ⋮ Existential Import and Relations of Categorical and Modal Categorical Statements ⋮ Substitution inconsistencies in Transparent Intensional Logic
This page was built for publication:
