| Property |
Value |
| dbo:abstract
|
- Une logique infinitaire est une logique qui permet des formules infiniment longues et/ou des démonstrations infiniment longues. Certaines logiques infinitaires peuvent avoir des propriétés différentes de celles de la logique de premier ordre standard. En particulier, les logiques infinitaires peuvent ne pas être compactes ou complètes. Les notions de compacité et de complétude qui sont équivalentes en logique finitaire ne le sont pas forcément dans les logiques infinitaires. Par conséquent, pour les logiques infinitaires, des notions de forte compacité et complétude sont définies. Cet article aborde les logiques infinitaires présentées dans les systèmes à la Hilbert, car elles ont été largement étudiées et constituent les extensions les plus simples de la logique finitaire. Ce ne sont cependant pas les seules logiques infinitaires qui ont été formulées ou étudiées. (fr)
- Une logique infinitaire est une logique qui permet des formules infiniment longues et/ou des démonstrations infiniment longues. Certaines logiques infinitaires peuvent avoir des propriétés différentes de celles de la logique de premier ordre standard. En particulier, les logiques infinitaires peuvent ne pas être compactes ou complètes. Les notions de compacité et de complétude qui sont équivalentes en logique finitaire ne le sont pas forcément dans les logiques infinitaires. Par conséquent, pour les logiques infinitaires, des notions de forte compacité et complétude sont définies. Cet article aborde les logiques infinitaires présentées dans les systèmes à la Hilbert, car elles ont été largement étudiées et constituent les extensions les plus simples de la logique finitaire. Ce ne sont cependant pas les seules logiques infinitaires qui ont été formulées ou étudiées. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 9466 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:art
|
- Infinitary logic (fr)
- Infinitary logic (fr)
|
| prop-fr:date
|
- 1964 (xsd:integer)
- 1969 (xsd:integer)
|
| prop-fr:doi
| |
| prop-fr:id
| |
| prop-fr:journal
|
- J. Symbolic Logic (fr)
- J. Symbolic Logic (fr)
|
| prop-fr:jstor
| |
| prop-fr:lang
| |
| prop-fr:lienAuteur
|
- Jon Barwise (fr)
- Carol Karp (fr)
- Jon Barwise (fr)
- Carol Karp (fr)
|
| prop-fr:lieu
|
- Amsterdam (fr)
- Amsterdam (fr)
|
| prop-fr:mr
|
- 176910 (xsd:integer)
- 406760 (xsd:integer)
|
| prop-fr:nom
|
- Karp (fr)
- Barwise (fr)
- Karp (fr)
- Barwise (fr)
|
| prop-fr:numéro
| |
| prop-fr:pages
| |
| prop-fr:prénom
|
- Carol R. (fr)
- Kenneth Jon (fr)
- Carol R. (fr)
- Kenneth Jon (fr)
|
| prop-fr:titre
|
- Infinitary logic and admissible sets (fr)
- Languages with expressions of infinite length (fr)
- Infinitary logic and admissible sets (fr)
- Languages with expressions of infinite length (fr)
|
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- North-Holland Publishing Co. (fr)
- North-Holland Publishing Co. (fr)
|
| dct:subject
| |
| rdfs:comment
|
- Une logique infinitaire est une logique qui permet des formules infiniment longues et/ou des démonstrations infiniment longues. Certaines logiques infinitaires peuvent avoir des propriétés différentes de celles de la logique de premier ordre standard. En particulier, les logiques infinitaires peuvent ne pas être compactes ou complètes. Les notions de compacité et de complétude qui sont équivalentes en logique finitaire ne le sont pas forcément dans les logiques infinitaires. Par conséquent, pour les logiques infinitaires, des notions de forte compacité et complétude sont définies. Cet article aborde les logiques infinitaires présentées dans les systèmes à la Hilbert, car elles ont été largement étudiées et constituent les extensions les plus simples de la logique finitaire. Ce ne sont cepe (fr)
- Une logique infinitaire est une logique qui permet des formules infiniment longues et/ou des démonstrations infiniment longues. Certaines logiques infinitaires peuvent avoir des propriétés différentes de celles de la logique de premier ordre standard. En particulier, les logiques infinitaires peuvent ne pas être compactes ou complètes. Les notions de compacité et de complétude qui sont équivalentes en logique finitaire ne le sont pas forcément dans les logiques infinitaires. Par conséquent, pour les logiques infinitaires, des notions de forte compacité et complétude sont définies. Cet article aborde les logiques infinitaires présentées dans les systèmes à la Hilbert, car elles ont été largement étudiées et constituent les extensions les plus simples de la logique finitaire. Ce ne sont cepe (fr)
|
| rdfs:label
|
- Logique infinitaire (fr)
- 無限論理 (ja)
- Logique infinitaire (fr)
- 無限論理 (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
