[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

About: Minimal logic

An Entity of Type: Abstraction100002137, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson. It is an intuitionistic and paraconsistent logic, that rejects both the law of the excluded middle as well as the principle of explosion (ex falso quodlibet), and therefore holding neither of the following two derivations as valid: where and are any propositions. Most constructive logics only reject the former, the law of excluded middle. In classical logic, the ex falso laws

Property Value
dbo:abstract
  • Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson. It is an intuitionistic and paraconsistent logic, that rejects both the law of the excluded middle as well as the principle of explosion (ex falso quodlibet), and therefore holding neither of the following two derivations as valid: where and are any propositions. Most constructive logics only reject the former, the law of excluded middle. In classical logic, the ex falso laws as well as their variants with and switched, are equivalent to each other and valid. Minimal logic also rejects those principles. (en)
  • En logique mathématique, la logique minimale est une logique qui diffère de la logique classique par le fait qu'elle n'inclut ni le tiers-exclu ni le principe d'explosion. Elle a été créée par Ingebrigt Johansson. Les trois types de logiques mathématiques (logique minimale, logique intuitionniste et logique classique) sont différentes de par leur façon de traiter la négation et la contradiction dans le calcul des propositions ou le calcul des prédicats. Dans une certaine mesure, la logique minimale n'aborde pas le concept de contradiction et représente une logique sans véritable négation. (fr)
  • Чи́слення ви́словів мініма́льне (мінімальна логіка) — числення висловів, що відрізняється від інтуїціоністського тим, що в нім відсутня аксіома Термін ввів в 30-х роках норв. математик І. Йогансон, він же привів і деякі міркування, що примусили його виключити (*) з числа аксіом. Множина теорем мінімального числення висловів міститься в множині теорем інтуїціоністського числення висловів, але не збігається з останнім. Всі зв'язки числення висловів мінімального незалежні. Відомі необхідні і достатні умови того, щоб приєднання деякої ф-ли до аксіом мінімального числення висловів давало інтуїціоністське числення висловів. (uk)
dbo:wikiPageID
  • 26267678 (xsd:integer)
dbo:wikiPageLength
  • 17799 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1112523258 (xsd:integer)
dbo:wikiPageWikiLink
dbp:date
  • August 2022 (en)
dbp:talk
  • Tutorial tone (en)
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • En logique mathématique, la logique minimale est une logique qui diffère de la logique classique par le fait qu'elle n'inclut ni le tiers-exclu ni le principe d'explosion. Elle a été créée par Ingebrigt Johansson. Les trois types de logiques mathématiques (logique minimale, logique intuitionniste et logique classique) sont différentes de par leur façon de traiter la négation et la contradiction dans le calcul des propositions ou le calcul des prédicats. Dans une certaine mesure, la logique minimale n'aborde pas le concept de contradiction et représente une logique sans véritable négation. (fr)
  • Чи́слення ви́словів мініма́льне (мінімальна логіка) — числення висловів, що відрізняється від інтуїціоністського тим, що в нім відсутня аксіома Термін ввів в 30-х роках норв. математик І. Йогансон, він же привів і деякі міркування, що примусили його виключити (*) з числа аксіом. Множина теорем мінімального числення висловів міститься в множині теорем інтуїціоністського числення висловів, але не збігається з останнім. Всі зв'язки числення висловів мінімального незалежні. Відомі необхідні і достатні умови того, щоб приєднання деякої ф-ли до аксіом мінімального числення висловів давало інтуїціоністське числення висловів. (uk)
  • Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson. It is an intuitionistic and paraconsistent logic, that rejects both the law of the excluded middle as well as the principle of explosion (ex falso quodlibet), and therefore holding neither of the following two derivations as valid: where and are any propositions. Most constructive logics only reject the former, the law of excluded middle. In classical logic, the ex falso laws (en)
rdfs:label
  • Logique minimale (fr)
  • Minimal logic (en)
  • Числення висловів мінімальне (uk)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License