This HTML5 document contains 77 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
n23https://www.britannica.com/topic/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n4https://ncatlab.org/nlab/show/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n20http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n6https://www.jstor.org/topic/
n21https://www.quora.com/topic/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n11http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
n18http://fr.dbpedia.org/resource/Modèle:Traduction/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n15http://ma-graph.org/entity/
n19http://plato.stanford.edu/entries/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Logique_infinitaire
rdfs:label
Logique infinitaire 無限論理
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
rdfs:seeAlso
n4:infinitary_logic n6:infinitary-logic n19:logic-infinitary n21:Infinitary-Logic n23:infinitary-logic
owl:sameAs
dbpedia-es:Lógica_infinitaria dbpedia-pt:Lógica_infinitária n15:2781194981 wikidata:Q6029713 dbpedia-ko:무한_논리 n20:02ykdy dbpedia-ja:無限論理 dbr:Infinitary_logic
dbo:wikiPageID
11067637
dbo:wikiPageRevisionID
178926743
dbo:wikiPageWikiLink
category-fr:Article_à_référence_nécessaire category-fr:Logique_non_classique dbpedia-fr:Logique dbpedia-fr:Théorème_d'interpolation_de_Craig dbpedia-fr:Cardinal_régulier dbpedia-fr:Démonstration_(logique_et_mathématique) dbpedia-fr:Théorème_de_compacité dbpedia-fr:Définition_par_récurrence dbpedia-fr:Théorie_des_modèles dbpedia-fr:Complétude_(logique) dbpedia-fr:Axiomes_de_Peano dbpedia-fr:Règle_d'inférence dbpedia-fr:Axiome_logique dbpedia-fr:Formule_logique dbpedia-fr:Axiome_du_choix dbpedia-fr:Système_à_la_Hilbert dbpedia-fr:Nombre_cardinal dbpedia-fr:Modèle_non_standard dbpedia-fr:Structure_(logique_mathématique) dbpedia-fr:Axiome_de_fondation dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Quantificateur_(logique) dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_axiomatique dbpedia-fr:Variable_libre
dbo:wikiPageLength
9466
dct:subject
category-fr:Logique_non_classique category-fr:Article_à_référence_nécessaire
prop-fr:wikiPageUsesTemplate
n11:Références n11:Portail n11:Quoi n18:Référence n11:Ouvrage
prov:wasDerivedFrom
wikipedia-fr:Logique_infinitaire?oldid=178926743&ns=0
prop-fr:art
Infinitary logic
prop-fr:date
1964 1969
prop-fr:doi
10.2307
prop-fr:id
738516648
prop-fr:journal
J. Symbolic Logic
prop-fr:lang
en
prop-fr:lienAuteur
Jon Barwise Carol Karp
prop-fr:lieu
Amsterdam
prop-fr:nom
Karp Barwise
prop-fr:numéro
2
prop-fr:pages
226
prop-fr:prénom
Kenneth Jon Carol R.
prop-fr:titre
Languages with expressions of infinite length Infinitary logic and admissible sets
prop-fr:volume
34
prop-fr:éditeur
North-Holland Publishing Co.
prop-fr:jstor
2271099
prop-fr:mr
176910 406760
foaf:isPrimaryTopicOf
wikipedia-fr:Logique_infinitaire
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.