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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n18https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Minimal_logic
rdf:type
yago:Abstraction100002137 yago:Cognition100023271 yago:System105661996 yago:Method105660268 yago:Logic105664069 yago:WikicatSystemsOfFormalLogic yago:Ability105616246 yago:Know-how105616786 yago:PsychologicalFeature100023100
rdfs:label
Logique minimale Minimal logic Числення висловів мінімальне
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. Чи́слення ви́словів мініма́льне (мінімальна логіка) — числення висловів, що відрізняється від інтуїціоністського тим, що в нім відсутня аксіома Термін ввів в 30-х роках норв. математик І. Йогансон, він же привів і деякі міркування, що примусили його виключити (*) з числа аксіом. Множина теорем мінімального числення висловів міститься в множині теорем інтуїціоністського числення висловів, але не збігається з останнім. Всі зв'язки числення висловів мінімального незалежні. Відомі необхідні і достатні умови того, щоб приєднання деякої ф-ли до аксіом мінімального числення висловів давало інтуїціоністське числення висловів. 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
dcterms:subject
dbc:Systems_of_formal_logic dbc:Constructivism_(mathematics) dbc:Non-classical_logic
dbo:wikiPageID
26267678
dbo:wikiPageRevisionID
1112523258
dbo:wikiPageWikiLink
dbr:Heyting_arithmetic dbr:Logical_disjunction dbr:Principle_of_explosion dbr:Calculus_of_constructions dbr:Paraconsistent_logic dbr:Negation_introduction dbc:Systems_of_formal_logic dbr:Implicational_propositional_calculus dbr:Sequent_calculus dbr:Ingebrigt_Johansson dbr:Falsum dbr:Mathematical_logic dbr:Markov's_principle dbr:Relevance_logic dbr:Predicate_logic dbr:Logical_connective dbr:De_Morgan's_laws dbr:Double_negation dbr:Functional_programming dbc:Constructivism_(mathematics) dbr:Classical_logic dbr:Law_of_non-contradiction dbr:Intermediate_logic dbr:List_of_logic_systems dbr:Double-negation_translation dbr:Simply_typed_lambda_calculus dbr:Law_of_the_excluded_middle dbr:Material_conditional dbr:Curry–Howard_correspondence dbr:Intuitionistic_logic dbr:Logical_conjunction dbr:List_of_Hilbert_systems dbr:Logical_implication dbr:Modus_ponens dbr:Natural_deduction dbr:Disjunctive_syllogism dbc:Non-classical_logic dbr:Negation
owl:sameAs
yago-res:Minimal_logic dbpedia-fr:Logique_minimale dbpedia-uk:Числення_висловів_мінімальне wikidata:Q3257974 n18:317ki freebase:m.0b773vj
dbp:wikiPageUsesTemplate
dbt:Logic dbt:Reflist dbt:Tone dbt:Isbn
dbp:date
August 2022
dbp:talk
Tutorial tone
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. Чи́слення ви́словів мініма́льне (мінімальна логіка) — числення висловів, що відрізняється від інтуїціоністського тим, що в нім відсутня аксіома Термін ввів в 30-х роках норв. математик І. Йогансон, він же привів і деякі міркування, що примусили його виключити (*) з числа аксіом. Множина теорем мінімального числення висловів міститься в множині теорем інтуїціоністського числення висловів, але не збігається з останнім. Всі зв'язки числення висловів мінімального незалежні. Відомі необхідні і достатні умови того, щоб приєднання деякої ф-ли до аксіом мінімального числення висловів давало інтуїціоністське числення висловів. 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.
prov:wasDerivedFrom
wikipedia-en:Minimal_logic?oldid=1112523258&ns=0
dbo:wikiPageLength
17799
foaf:isPrimaryTopicOf
wikipedia-en:Minimal_logic