| Property |
Value |
| dbo:abstract
|
- 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)
- 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)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 11127 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:auteur
|
- Almudena Colacito (fr)
- Almudena Colacito (fr)
|
| prop-fr:consultéLe
| |
| prop-fr:date
|
- 1937 (xsd:integer)
- 2016 (xsd:integer)
|
| prop-fr:langue
| |
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Ingebrigt (fr)
- Ingebrigt (fr)
|
| prop-fr:prénom
|
- Johansson, (fr)
- Johansson, (fr)
|
| prop-fr:périodique
|
- Compositio Mathematica (fr)
- Compositio Mathematica (fr)
|
| prop-fr:sousTitre
|
- MSc in Logic (fr)
- MSc in Logic (fr)
|
| prop-fr:titre
|
- Minimal and Subminimal Logic of Negation (fr)
- Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus (fr)
- Minimal and Subminimal Logic of Negation (fr)
- Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus (fr)
|
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Universiteit van Amsterdam (fr)
- Universiteit van Amsterdam (fr)
|
| dct:subject
| |
| 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)
- 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)
|
| rdfs:label
|
- Logique minimale (fr)
- Числення висловів мінімальне (uk)
- Logique minimale (fr)
- Числення висловів мінімальне (uk)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
