This HTML5 document contains 61 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/
dbohttp://dbpedia.org/ontology/
n16https://ncatlab.org/nlab/show/
foafhttp://xmlns.com/foaf/0.1/
n11https://www.illc.uva.nl/Research/Publications/Reports/
n8http://g.co/kg/m/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n10http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n19http://www.numdam.org/item/CM_1937__4__119_0/
n9http://ma-graph.org/entity/
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/

Statements

Subject Item
dbpedia-fr:Logique_minimale
rdfs:label
Logique minimale Числення висловів мінімальне
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.
rdfs:seeAlso
n16:minimal_logic
owl:sameAs
wikidata:Q3257974 n8:0b773vj n9:171482190 dbr:Minimal_logic dbpedia-uk:Числення_висловів_мінімальне
dbo:wikiPageID
626185
dbo:wikiPageRevisionID
170002526
dbo:wikiPageWikiLink
dbpedia-fr:Principe_du_tiers_exclu dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_intuitionniste dbpedia-fr:Disjonction_logique dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Calcul_des_propositions dbpedia-fr:Implication_(logique) dbpedia-fr:Principe_d'explosion dbpedia-fr:Logique_classique dbpedia-fr:Kurt_Gödel dbpedia-fr:Proposition_contraposée dbpedia-fr:Équivalence_logique dbpedia-fr:Conjonction_logique category-fr:Logique_non_classique dbpedia-fr:Raisonnement_par_l'absurde category-fr:Logique_mathématique dbpedia-fr:Négation_logique dbpedia-fr:Modus_ponens dbpedia-fr:Ingebrigt_Johansson
dbo:wikiPageExternalLink
n11:MoL-2016-14.text.pdf n19:
dbo:wikiPageLength
11127
dct:subject
category-fr:Logique_non_classique category-fr:Logique_mathématique
prop-fr:wikiPageUsesTemplate
n10:Ouvrage n10:Article n10:Palette n10:ISBN n10:Portail n10:Références n10:Langue n10:Section_vide
prov:wasDerivedFrom
wikipedia-fr:Logique_minimale?oldid=170002526&ns=0
prop-fr:auteur
Almudena Colacito
prop-fr:consultéLe
2018-10-29
prop-fr:date
1937 2016
prop-fr:langue
fr
prop-fr:lireEnLigne
n11:MoL-2016-14.text.pdf n19:
prop-fr:nom
Ingebrigt
prop-fr:prénom
Johansson,
prop-fr:périodique
Compositio Mathematica
prop-fr:sousTitre
MSc in Logic
prop-fr:titre
Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus Minimal and Subminimal Logic of Negation
prop-fr:volume
4
prop-fr:éditeur
Universiteit van Amsterdam
foaf:isPrimaryTopicOf
wikipedia-fr:Logique_minimale
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.