Matches in SemOpenAlex for { <https://semopenalex.org/work/W4322716963> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4322716963 abstract "In 1969, Per Lindstrom proved his celebrated theorem characterising the first-order logic and established criteria for the first-order definability of formal theories for discrete structures. K. J. Barwise, S. Shelah, J. Vaananen and others extended Lindstrom's characterizability program to classes of infinitary logic systems, including a recent paper by M. Dzamonja and J. Vaananen on Karp's chain logic, which satisfies interpolation, undefinability of well-order, and is maximal in the class of logic systems with these properties. The novelty of the chain logic is in its new definition of satisfability. In our paper, we give a framework for Lindstrom's type characterizability of predicate logic systems interpreted semantically in models with objects based on measures (analytic structures). In particular, Hajek's Logic of Integral is redefined as an abstract logic with a new type of Hajek's satisfiability and constitutes a maximal logic in the class of logic systems for describing analytic structures with Lebesgue integrals and satisfying compactness, elementary chain condition, and weak negation." @default.
- W4322716963 created "2023-03-03" @default.
- W4322716963 creator A5027779789 @default.
- W4322716963 creator A5037145063 @default.
- W4322716963 date "2023-02-26" @default.
- W4322716963 modified "2023-09-27" @default.
- W4322716963 title "The Lindstrom's Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures" @default.
- W4322716963 doi "https://doi.org/10.48550/arxiv.2302.13412" @default.
- W4322716963 hasPublicationYear "2023" @default.
- W4322716963 type Work @default.
- W4322716963 citedByCount "0" @default.
- W4322716963 crossrefType "posted-content" @default.
- W4322716963 hasAuthorship W4322716963A5027779789 @default.
- W4322716963 hasAuthorship W4322716963A5037145063 @default.
- W4322716963 hasBestOaLocation W43227169631 @default.
- W4322716963 hasConcept C102993220 @default.
- W4322716963 hasConcept C118615104 @default.
- W4322716963 hasConcept C150889026 @default.
- W4322716963 hasConcept C154945302 @default.
- W4322716963 hasConcept C169896238 @default.
- W4322716963 hasConcept C18903297 @default.
- W4322716963 hasConcept C19689857 @default.
- W4322716963 hasConcept C199360897 @default.
- W4322716963 hasConcept C202444582 @default.
- W4322716963 hasConcept C2185349 @default.
- W4322716963 hasConcept C2777212361 @default.
- W4322716963 hasConcept C2777299769 @default.
- W4322716963 hasConcept C33203268 @default.
- W4322716963 hasConcept C33923547 @default.
- W4322716963 hasConcept C41008148 @default.
- W4322716963 hasConcept C80444323 @default.
- W4322716963 hasConcept C86803240 @default.
- W4322716963 hasConceptScore W4322716963C102993220 @default.
- W4322716963 hasConceptScore W4322716963C118615104 @default.
- W4322716963 hasConceptScore W4322716963C150889026 @default.
- W4322716963 hasConceptScore W4322716963C154945302 @default.
- W4322716963 hasConceptScore W4322716963C169896238 @default.
- W4322716963 hasConceptScore W4322716963C18903297 @default.
- W4322716963 hasConceptScore W4322716963C19689857 @default.
- W4322716963 hasConceptScore W4322716963C199360897 @default.
- W4322716963 hasConceptScore W4322716963C202444582 @default.
- W4322716963 hasConceptScore W4322716963C2185349 @default.
- W4322716963 hasConceptScore W4322716963C2777212361 @default.
- W4322716963 hasConceptScore W4322716963C2777299769 @default.
- W4322716963 hasConceptScore W4322716963C33203268 @default.
- W4322716963 hasConceptScore W4322716963C33923547 @default.
- W4322716963 hasConceptScore W4322716963C41008148 @default.
- W4322716963 hasConceptScore W4322716963C80444323 @default.
- W4322716963 hasConceptScore W4322716963C86803240 @default.
- W4322716963 hasLocation W43227169631 @default.
- W4322716963 hasOpenAccess W4322716963 @default.
- W4322716963 hasPrimaryLocation W43227169631 @default.
- W4322716963 hasRelatedWork W1540220550 @default.
- W4322716963 hasRelatedWork W1911402732 @default.
- W4322716963 hasRelatedWork W2033995545 @default.
- W4322716963 hasRelatedWork W2075998444 @default.
- W4322716963 hasRelatedWork W2121616340 @default.
- W4322716963 hasRelatedWork W2952349401 @default.
- W4322716963 hasRelatedWork W2962955761 @default.
- W4322716963 hasRelatedWork W3196497357 @default.
- W4322716963 hasRelatedWork W91200808 @default.
- W4322716963 hasRelatedWork W2249670370 @default.
- W4322716963 isParatext "false" @default.
- W4322716963 isRetracted "false" @default.
- W4322716963 workType "article" @default.