Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Minimal_logic> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- Minimal_logic abstract "Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson. It is a variant of intuitionistic logic that rejects not only the classical law of excluded middle (as intuitionistic logic does), but also the principle of explosion (ex falso quodlibet).Just like intuitionistic logic, minimal logic can be formulated in a language using →, ∧, ∨, ⊥ (implication, conjunction, disjunction and falsum) as the basic connectives, treating ¬A as an abbreviation for (A → ⊥). In this language it is axiomatized by the positive fragment (i.e., formulas using only →, ∧, ∨) of intuitionistic logic, with no additional axioms or rules about ⊥. Thus minimal logic is a subsystem of intuitionistic logic, and it is strictly weaker as it does not derive the ex falso quodlibet principle (however, it derives its special case ).Adding the ex falso axiom to minimal logic results in intuitionistic logic, and adding the double negation law to minimal logic results in classical logic.Minimal logic is closely related to simply typed lambda calculus via the Curry-Howard isomorphism, i.e. the typing derivations of simply typed lambda terms are isomorphic to natural deduction proofs in minimal logic.".
- Minimal_logic wikiPageExternalLink item?id=CM_1937__4__119_0.
- Minimal_logic wikiPageID "26267678".
- Minimal_logic wikiPageRevisionID "545847108".
- Minimal_logic hasPhotoCollection Minimal_logic.
- Minimal_logic subject Category:Constructivism_(mathematics).
- Minimal_logic subject Category:Non-classical_logic.
- Minimal_logic subject Category:Systems_of_formal_logic.
- Minimal_logic type Ability105616246.
- Minimal_logic type Abstraction100002137.
- Minimal_logic type Cognition100023271.
- Minimal_logic type Know-how105616786.
- Minimal_logic type Logic105664069.
- Minimal_logic type Method105660268.
- Minimal_logic type PsychologicalFeature100023100.
- Minimal_logic type System105661996.
- Minimal_logic type SystemsOfFormalLogic.
- Minimal_logic comment "Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson.".
- Minimal_logic label "Logique minimale".
- Minimal_logic label "Minimal logic".
- Minimal_logic sameAs Logique_minimale.
- Minimal_logic sameAs m.0b773vj.
- Minimal_logic sameAs Q3257974.
- Minimal_logic sameAs Q3257974.
- Minimal_logic sameAs Minimal_logic.
- Minimal_logic wasDerivedFrom Minimal_logic?oldid=545847108.
- Minimal_logic isPrimaryTopicOf Minimal_logic.