About: Minimal logic

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

Symbolic logic system

Property	Value
dbo:description	symbolic logic system (en)
dbo:wikiPageWikiLink	dbc:Non-classical_logic dbr:Classical_logic dbr:Functional_programming dbr:Principle_of_explosion dbr:Natural_deduction dbr:Sequent_calculus dbr:Markov's_principle dbr:Disjunctive_syllogism dbr:Double-negation_translation dbr:Modus_ponens dbr:Logical_conjunction dbr:Ingebrigt_Johansson dbr:Heyting_arithmetic dbr:Implicational_propositional_calculus dbc:Constructivism_(mathematics) dbr:Intuitionistic_logic dbr:Relevance_logic dbr:Negation_introduction dbc:Systems_of_formal_logic dbr:Paraconsistent_logic dbr:Double_negation dbr:Logical_connective dbr:Negation dbr:Mathematical_logic dbr:Material_conditional dbr:De_Morgan's_laws dbr:Calculus_of_constructions dbr:Simply_typed_lambda_calculus dbr:Intermediate_logic dbr:Curry–Howard_correspondence dbr:Logical_disjunction dbr:Predicate_logic dbr:Law_of_non-contradiction dbr:Law_of_the_excluded_middle dbr:Falsum dbr:List_of_Hilbert_systems dbr:List_of_logic_systems dbr:Logical_implication
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_web dbt:Reflist dbt:Cite_journal dbt:Logic dbt:Sfn dbt:Short_description
dct:subject	dbc:Paraconsistent_logic dbc:Constructivism_(mathematics) dbc:Systems_of_formal_logic
rdfs:label	Minimal logic (en) Logique minimale (fr) Числення висловів мінімальне (uk)
owl:sameAs	freebase:Minimal logic yago-res:Minimal logic wikidata:Minimal logic dbpedia-fr:Minimal logic dbpedia-uk:Minimal logic dbpedia-global:Minimal logic
prov:wasDerivedFrom	wikipedia-en:Minimal_logic?oldid=1286550916&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Minimal_logic
is dbo:wikiPageRedirects of	dbr:Minimal_calculus
is dbo:wikiPageWikiLink of	dbr:Principle_of_explosion dbr:Outline_of_philosophy dbr:Curry's_paradox dbr:Ingebrigt_Johansson dbr:Heyting_arithmetic dbr:Index_of_logic_articles dbr:Intuitionistic_logic dbr:MINLOG dbr:Contradiction dbr:Paraconsistent_logic dbr:Double_negation dbr:Hilbert_system dbr:Logical_framework dbr:De_Morgan's_laws dbr:Simply_typed_lambda_calculus dbr:Constructive_set_theory dbr:Outline_of_logic dbr:List_of_Hilbert_systems dbr:Minimal_calculus
is foaf:primaryTopic of	wikipedia-en:Minimal_logic