Matches in SemOpenAlex for { <https://semopenalex.org/work/W2740773246> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2740773246 abstract "The abstract variable binding calculus (VB-catculus) provides a formal frame- work encompassing such diverse variable-binding phenomena as lambda abstraction, Rie- mann integration, existential and universal quantification (in both classical and nonclas- sical logic), and various notions of generalized quantification that have been studied in abstract model theory. All axioms of the VB-calculus are in the form of equations, but like the lambda calculus it :is not a true equational theory since substitution of terms for variables is restricted. A similar problem with the standard formalism of the first-order predicate logic led to the development of the theory of cylindric and polyadic Boolean algebras. We take the same course here and introduce the variety of polyadic VB-algebras as a pure equational form of the VB-calculus. In one of the main results of the paper we show that every locally finite polyadic VB-algebra of infinite dimension is isomorphic to a functional polyadic VB-algebra that is obtained from a model of the VB-calcuhs by a natural coordinatization process. This theorem is a generalization of the functional rep- resentation theorem for polyadic Boolean algebras given by P. Halmos. As an application of this theorem we present a strong completeness theorem for the VB-calculus. More pre- cisely, we prove that, for every VB-theory T that is obtained by adjoining new equations to the axioms of the VB-calcutus, there exists a model D such that b- I- s = t iff ~D s = t. This result specializes to a completeness theorem for a number of familiar systems that can be formalized as VB-calculi. For example, the lambda calculus, the classical first-order predicate calculus, the theory of the generalized quantifier exists uncountably many and a fragment of Riemann integration." @default.
- W2740773246 created "2017-08-08" @default.
- W2740773246 creator A5006929252 @default.
- W2740773246 date "1995-01-01" @default.
- W2740773246 modified "2023-09-27" @default.
- W2740773246 title "ANTONINO SALIBRA The Abstract Variable-binding Calculus*" @default.
- W2740773246 cites W1012644611 @default.
- W2740773246 cites W1480405493 @default.
- W2740773246 cites W1519478560 @default.
- W2740773246 cites W1530377210 @default.
- W2740773246 cites W1968907100 @default.
- W2740773246 cites W1972921902 @default.
- W2740773246 cites W1978856319 @default.
- W2740773246 cites W1984381186 @default.
- W2740773246 cites W1987204945 @default.
- W2740773246 cites W2050102558 @default.
- W2740773246 cites W2080309222 @default.
- W2740773246 cites W2093415229 @default.
- W2740773246 cites W2093709124 @default.
- W2740773246 cites W2289441429 @default.
- W2740773246 cites W2471130313 @default.
- W2740773246 cites W943327428 @default.
- W2740773246 hasPublicationYear "1995" @default.
- W2740773246 type Work @default.
- W2740773246 sameAs 2740773246 @default.
- W2740773246 citedByCount "0" @default.
- W2740773246 crossrefType "journal-article" @default.
- W2740773246 hasAuthorship W2740773246A5006929252 @default.
- W2740773246 hasConcept C100481476 @default.
- W2740773246 hasConcept C108710211 @default.
- W2740773246 hasConcept C118615104 @default.
- W2740773246 hasConcept C135790938 @default.
- W2740773246 hasConcept C136119220 @default.
- W2740773246 hasConcept C167729594 @default.
- W2740773246 hasConcept C199343813 @default.
- W2740773246 hasConcept C200116569 @default.
- W2740773246 hasConcept C202444582 @default.
- W2740773246 hasConcept C2524010 @default.
- W2740773246 hasConcept C2777686260 @default.
- W2740773246 hasConcept C33923547 @default.
- W2740773246 hasConcept C65880906 @default.
- W2740773246 hasConcept C71924100 @default.
- W2740773246 hasConceptScore W2740773246C100481476 @default.
- W2740773246 hasConceptScore W2740773246C108710211 @default.
- W2740773246 hasConceptScore W2740773246C118615104 @default.
- W2740773246 hasConceptScore W2740773246C135790938 @default.
- W2740773246 hasConceptScore W2740773246C136119220 @default.
- W2740773246 hasConceptScore W2740773246C167729594 @default.
- W2740773246 hasConceptScore W2740773246C199343813 @default.
- W2740773246 hasConceptScore W2740773246C200116569 @default.
- W2740773246 hasConceptScore W2740773246C202444582 @default.
- W2740773246 hasConceptScore W2740773246C2524010 @default.
- W2740773246 hasConceptScore W2740773246C2777686260 @default.
- W2740773246 hasConceptScore W2740773246C33923547 @default.
- W2740773246 hasConceptScore W2740773246C65880906 @default.
- W2740773246 hasConceptScore W2740773246C71924100 @default.
- W2740773246 hasLocation W27407732461 @default.
- W2740773246 hasOpenAccess W2740773246 @default.
- W2740773246 hasPrimaryLocation W27407732461 @default.
- W2740773246 hasRelatedWork W1488569420 @default.
- W2740773246 hasRelatedWork W1536040752 @default.
- W2740773246 hasRelatedWork W1560329072 @default.
- W2740773246 hasRelatedWork W1615262499 @default.
- W2740773246 hasRelatedWork W1646840510 @default.
- W2740773246 hasRelatedWork W184413736 @default.
- W2740773246 hasRelatedWork W2008844842 @default.
- W2740773246 hasRelatedWork W2021900929 @default.
- W2740773246 hasRelatedWork W2022438838 @default.
- W2740773246 hasRelatedWork W2042779906 @default.
- W2740773246 hasRelatedWork W2074767526 @default.
- W2740773246 hasRelatedWork W2099977798 @default.
- W2740773246 hasRelatedWork W2141383074 @default.
- W2740773246 hasRelatedWork W2142472201 @default.
- W2740773246 hasRelatedWork W2496744678 @default.
- W2740773246 hasRelatedWork W2614883855 @default.
- W2740773246 hasRelatedWork W3045958053 @default.
- W2740773246 hasRelatedWork W44069527 @default.
- W2740773246 hasRelatedWork W99014182 @default.
- W2740773246 hasRelatedWork W3088770234 @default.
- W2740773246 isParatext "false" @default.
- W2740773246 isRetracted "false" @default.
- W2740773246 magId "2740773246" @default.
- W2740773246 workType "article" @default.