Matches in SemOpenAlex for { <https://semopenalex.org/work/W34285533> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W34285533 endingPage "56" @default.
- W34285533 startingPage "38" @default.
- W34285533 abstract "In this chapter, we will present an alternative way of characterizing zeroorder logics. In some of its instances, this new way will be familiar to the reader with experience in elementary symbolic logic as “truth functional” logic. As we shall see, our characterization will be somewhat more general than the usual presentation. It is, however, in an important sense not as general as it might be. The overall methodology, as we shall see, consists of defining a class of mathematical structures which, when they are playing this role, are called model structures . One then defines a relation, analogous in some sense to “truth,” between wffs and model structures; this relation is usually called satisfaction . Substantial parts of the theory then are not specific to the particular version of satisfaction we will introduce in this chapter but are relative to whatever structures and “satisfaction” are used. We will indeed introduce a few of these alternatives in chapter 11. In this chapter (and in chapter 12), we will be addressing perhaps the mathematically simplest of these: those which have the variables ranging over arbitrary sets and which copy the functional structure of the logics over which they are defined. When necessary we will refer to this family of model theory as “ extensional model theory .”" @default.
- W34285533 created "2016-06-24" @default.
- W34285533 creator A5012663066 @default.
- W34285533 date "1989-07-28" @default.
- W34285533 modified "2023-09-25" @default.
- W34285533 title "Zero-Order Model Theory" @default.
- W34285533 doi "https://doi.org/10.1017/cbo9780511625244.004" @default.
- W34285533 hasPublicationYear "1989" @default.
- W34285533 type Work @default.
- W34285533 sameAs 34285533 @default.
- W34285533 citedByCount "0" @default.
- W34285533 crossrefType "book-chapter" @default.
- W34285533 hasAuthorship W34285533A5012663066 @default.
- W34285533 hasConcept C10138342 @default.
- W34285533 hasConcept C138885662 @default.
- W34285533 hasConcept C162324750 @default.
- W34285533 hasConcept C182306322 @default.
- W34285533 hasConcept C2780813799 @default.
- W34285533 hasConcept C28826006 @default.
- W34285533 hasConcept C2987642246 @default.
- W34285533 hasConcept C2993784581 @default.
- W34285533 hasConcept C33923547 @default.
- W34285533 hasConcept C41895202 @default.
- W34285533 hasConceptScore W34285533C10138342 @default.
- W34285533 hasConceptScore W34285533C138885662 @default.
- W34285533 hasConceptScore W34285533C162324750 @default.
- W34285533 hasConceptScore W34285533C182306322 @default.
- W34285533 hasConceptScore W34285533C2780813799 @default.
- W34285533 hasConceptScore W34285533C28826006 @default.
- W34285533 hasConceptScore W34285533C2987642246 @default.
- W34285533 hasConceptScore W34285533C2993784581 @default.
- W34285533 hasConceptScore W34285533C33923547 @default.
- W34285533 hasConceptScore W34285533C41895202 @default.
- W34285533 hasLocation W342855331 @default.
- W34285533 hasOpenAccess W34285533 @default.
- W34285533 hasPrimaryLocation W342855331 @default.
- W34285533 hasRelatedWork W1995034108 @default.
- W34285533 hasRelatedWork W2108277181 @default.
- W34285533 hasRelatedWork W2351655981 @default.
- W34285533 hasRelatedWork W2367530708 @default.
- W34285533 hasRelatedWork W2390076355 @default.
- W34285533 hasRelatedWork W2804842116 @default.
- W34285533 hasRelatedWork W3015493154 @default.
- W34285533 hasRelatedWork W3048012740 @default.
- W34285533 hasRelatedWork W4234028585 @default.
- W34285533 hasRelatedWork W4288027753 @default.
- W34285533 isParatext "false" @default.
- W34285533 isRetracted "false" @default.
- W34285533 magId "34285533" @default.
- W34285533 workType "book-chapter" @default.