Attributes | Values |
---|
rdfs:label
| - Logique infinitaire (fr)
- 無限論理 (ja)
|
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)
|
rdfs:seeAlso
| |
sameAs
| |
Wikipage page ID
| |
Wikipage revision ID
| |
dbo:wikiPageWikiLink
| |
page length (characters) of wiki page
| |
dct:subject
| |
prop-fr:wikiPageUsesTemplate
| |
prov:wasDerivedFrom
| |
prop-fr:art
| |
prop-fr:date
| |
prop-fr:doi
| |
prop-fr:id
| |
prop-fr:journal
| |
prop-fr:lang
| |
prop-fr:lienAuteur
| - Jon Barwise (fr)
- Carol Karp (fr)
|
prop-fr:lieu
| |
prop-fr:nom
| |
prop-fr:numéro
| |
prop-fr:pages
| |
prop-fr:prénom
| - Carol R. (fr)
- Kenneth Jon (fr)
|
prop-fr:titre
| - Infinitary logic and admissible sets (fr)
- Languages with expressions of infinite length (fr)
|
prop-fr:volume
| |
prop-fr:éditeur
| - North-Holland Publishing Co. (fr)
|
prop-fr:jstor
| |
prop-fr:mr
| |
foaf:isPrimaryTopicOf
| |
has 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)
|
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |