| http://dbpedia.org/ontology/abstract
|
無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および／または無限に長い証明を許す論理である。
, Une logique infinitaire est une logique qu … Une logique infinitaire est une logique qui permet des formules infiniment longues 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.itaires qui ont été formulées ou étudiées.
, Una lógica infinita es una lógica que perm … Una lógica infinita es una lógica que permite declaraciones infinitamente largas y / o pruebas infinitamente largas. Algunas lógicas infinitarias pueden tener diferentes propiedades que las de la lógica estándar de primer orden. En particular, las lógicas infinitarias pueden no ser compactas o completas. Las nociones de compacidad e integridad que son equivalentes en la lógica finitaria a veces no lo son en las lógicas infinitas. Por lo tanto, para las lógicas infinitarias, se definen las nociones de compacidad fuerte y completitud fuerte. Este artículo abordará las lógicas infinitarias de tipo Hilbert, ya que han sido ampliamente estudiadas y constituyen las extensiones más directas de la lógica finitaria. Sin embargo, estas no son las únicas lógicas infinitarias que se han formulado o estudiado.nitarias que se han formulado o estudiado.
, Uma lógica infinitária é uma lógica que pe … Uma lógica infinitária é uma lógica que permite declarações infinitamente longas e/ou provas infinitamente longas. Algumas lógicas infinitárias podem ter propriedades diferentes da lógica de primeira ordem comum. Em particular, lógicas infinitárias podem falhar em serem compactas ou completas. Noções de compacto ou completo que são equivalentes na lógica finitária, nem sempre o são na lógica infinitária. Portanto para lógicas infinitárias as noções de compacidade forte e completude forte são definidas. Esse artigo trata das logicas infinitárias do tipo Hilbert, pois essas foram extensivamente estudadas e constituem a extensão mais direta da lógica finitária. Porém, essas não as únicas lógicas infinitárias que foram formuladas ou estudadas. Considerar se uma determinada lógica infinitária nomeada Ω-logic está completa promete ajudar a entender a hipótese do continuum.ajudar a entender a hipótese do continuum.
, 수리논리학에서 무한 논리(無限論理, 영어: infinitary logic)는 무한한 논리합·논리곱·전칭 기호·존재 기호를 나타낼 수 있는 논리 체계이며, 유한 1차 논리를 일반화한다.
, An infinitary logic is a logic that allows … An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Some infinitary logics may have different properties from those of standard first-order logic. In particular, infinitary logics may fail to be compact or complete. Notions of compactness and completeness that are equivalent in finitary logic sometimes are not so in infinitary logics. Therefore for infinitary logics, notions of strong compactness and strong completeness are defined. This article addresses Hilbert-type infinitary logics, as these have been extensively studied and constitute the most straightforward extensions of finitary logic. These are not, however, the only infinitary logics that have been formulated or studied. Considering whether a certain infinitary logic named Ω-logic is complete promises to throw light on the continuum hypothesis.o throw light on the continuum hypothesis.
|
| http://dbpedia.org/ontology/wikiPageID
|
630478
|
| http://dbpedia.org/ontology/wikiPageLength
|
10831
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1098901508
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Logical_disjunction +
, http://dbpedia.org/resource/Strongly_compact_cardinal +
, http://dbpedia.org/resource/Well_order +
, http://dbpedia.org/resource/Regular_cardinal +
, http://dbpedia.org/resource/Compactness_%28logic%29 +
, http://dbpedia.org/resource/Finitary_logic +
, http://dbpedia.org/resource/Completeness_%28logic%29 +
, http://dbpedia.org/resource/%CE%A9-logic +
, http://dbpedia.org/resource/Sequence +
, http://dbpedia.org/resource/Well-foundedness +
, http://dbpedia.org/resource/Category:Systems_of_formal_logic +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Axiom_of_choice +
, http://dbpedia.org/resource/Chen-Chung_Chang +
, http://dbpedia.org/resource/Non-archimedean_field +
, http://dbpedia.org/resource/Weakly_compact_cardinal +
, http://dbpedia.org/resource/Cardinality +
, http://dbpedia.org/resource/Journal_of_Symbolic_Logic +
, http://dbpedia.org/resource/Sentence_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Craig_interpolation +
, http://dbpedia.org/resource/Theory_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Mathematical_proof +
, http://dbpedia.org/resource/Torsion-free_group +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/Formal_logical_system +
, http://dbpedia.org/resource/Statement_%28logic%29 +
, http://dbpedia.org/resource/Hilbert_system +
, http://dbpedia.org/resource/Category:Non-classical_logic +
, http://dbpedia.org/resource/Continuum_hypothesis +
, http://dbpedia.org/resource/Axiom_of_regularity +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Better_source +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Citation +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Systems_of_formal_logic +
, http://dbpedia.org/resource/Category:Non-classical_logic +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Logic +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Infinitary_logic?oldid=1098901508&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Infinitary_logic +
|
| owl:sameAs |
http://fr.dbpedia.org/resource/Logique_infinitaire +
, http://rdf.freebase.com/ns/m.02ykdy +
, http://dbpedia.org/resource/Infinitary_logic +
, http://ko.dbpedia.org/resource/%EB%AC%B4%ED%95%9C_%EB%85%BC%EB%A6%AC +
, http://es.dbpedia.org/resource/L%C3%B3gica_infinitaria +
, https://global.dbpedia.org/id/4nDdK +
, http://www.wikidata.org/entity/Q6029713 +
, http://ja.dbpedia.org/resource/%E7%84%A1%E9%99%90%E8%AB%96%E7%90%86 +
, http://yago-knowledge.org/resource/Infinitary_logic +
, http://pt.dbpedia.org/resource/L%C3%B3gica_infinit%C3%A1ria +
|
| rdf:type |
http://dbpedia.org/class/yago/Ability105616246 +
, http://dbpedia.org/class/yago/System105661996 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Know-how105616786 +
, http://dbpedia.org/class/yago/Method105660268 +
, http://dbpedia.org/class/yago/WikicatSystemsOfFormalLogic +
, http://dbpedia.org/class/yago/Logic105664069 +
, http://dbpedia.org/class/yago/PsychologicalFeature100023100 +
, http://dbpedia.org/class/yago/Cognition100023271 +
|
| rdfs:comment |
Une logique infinitaire est une logique qu … Une logique infinitaire est une logique qui permet des formules infiniment longues 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 cependae la logique finitaire. Ce ne sont cependa
, Uma lógica infinitária é uma lógica que pe … Uma lógica infinitária é uma lógica que permite declarações infinitamente longas e/ou provas infinitamente longas. Algumas lógicas infinitárias podem ter propriedades diferentes da lógica de primeira ordem comum. Em particular, lógicas infinitárias podem falhar em serem compactas ou completas. Noções de compacto ou completo que são equivalentes na lógica finitária, nem sempre o são na lógica infinitária. Portanto para lógicas infinitárias as noções de compacidade forte e completude forte são definidas. Esse artigo trata das logicas infinitárias do tipo Hilbert, pois essas foram extensivamente estudadas e constituem a extensão mais direta da lógica finitária. Porém, essas não as únicas lógicas infinitárias que foram formuladas ou estudadas.itárias que foram formuladas ou estudadas.
, An infinitary logic is a logic that allows … An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Some infinitary logics may have different properties from those of standard first-order logic. In particular, infinitary logics may fail to be compact or complete. Notions of compactness and completeness that are equivalent in finitary logic sometimes are not so in infinitary logics. Therefore for infinitary logics, notions of strong compactness and strong completeness are defined. This article addresses Hilbert-type infinitary logics, as these have been extensively studied and constitute the most straightforward extensions of finitary logic. These are not, however, the only infinitary logics that have been formulated or studied.gics that have been formulated or studied.
, 수리논리학에서 무한 논리(無限論理, 영어: infinitary logic)는 무한한 논리합·논리곱·전칭 기호·존재 기호를 나타낼 수 있는 논리 체계이며, 유한 1차 논리를 일반화한다.
, Una lógica infinita es una lógica que perm … Una lógica infinita es una lógica que permite declaraciones infinitamente largas y / o pruebas infinitamente largas. Algunas lógicas infinitarias pueden tener diferentes propiedades que las de la lógica estándar de primer orden. En particular, las lógicas infinitarias pueden no ser compactas o completas. Las nociones de compacidad e integridad que son equivalentes en la lógica finitaria a veces no lo son en las lógicas infinitas. Por lo tanto, para las lógicas infinitarias, se definen las nociones de compacidad fuerte y completitud fuerte. Este artículo abordará las lógicas infinitarias de tipo Hilbert, ya que han sido ampliamente estudiadas y constituyen las extensiones más directas de la lógica finitaria. Sin embargo, estas no son las únicas lógicas infinitarias que se han formulado o escas infinitarias que se han formulado o es
, 無限論理 (むげんろんり、英: infinitary logic) は、無限に長い言明および／または無限に長い証明を許す論理である。
|
| rdfs:label |
Logique infinitaire
, Infinitary logic
, Lógica infinitária
, 무한 논리
, 無限論理
, Lógica infinitaria
|
