| dbo:abstract
|
- In mathematical logic, an abstract logic is a formal system consisting of a class of sentences and a satisfaction relation with specific properties related to occurrence, expansion, isomorphism, renaming and quantification. Based on Lindström's characterization, first-order logic is, up to equivalence, the only abstract logic that is countably compact and has Löwenheim number ω. (en)
- In de wiskundige logica is een abstracte logica een formeel systeem, dat bestaat uit een klasse van zinnen en een met specifieke eigenschappen met betrekking tot voorkomen, expansie, isomorfisme, hernoeming en kwantificering. Gebaseerd op Per Lindströms karakterisering is de eerste orde logica, op en tot met gelijkwaardigheid, de enige abstracte logica, die is en het Löwenheim-getal ω heeft. (nl)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1055 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdfs:comment
|
- In mathematical logic, an abstract logic is a formal system consisting of a class of sentences and a satisfaction relation with specific properties related to occurrence, expansion, isomorphism, renaming and quantification. Based on Lindström's characterization, first-order logic is, up to equivalence, the only abstract logic that is countably compact and has Löwenheim number ω. (en)
- In de wiskundige logica is een abstracte logica een formeel systeem, dat bestaat uit een klasse van zinnen en een met specifieke eigenschappen met betrekking tot voorkomen, expansie, isomorfisme, hernoeming en kwantificering. Gebaseerd op Per Lindströms karakterisering is de eerste orde logica, op en tot met gelijkwaardigheid, de enige abstracte logica, die is en het Löwenheim-getal ω heeft. (nl)
|
| rdfs:label
|
- Abstract logic (en)
- Abstracte logica (nl)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
