About: Paraconsistent logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Type of formal logic without explosion principle

Property	Value
dbo:description	lógica não clássica (pt) type of formal logic without explosion principle (en) type de logique formelle rejetant le principe d'explosion (ex falso quodlibet) (fr) 哲学逻辑有关弗协调理论的的一个分支 (zh) Kalküle, in denen es nicht möglich ist, aus einem Widerspruch jede Aussage herzuleiten (de) 矛盾を特別な方法で扱う論理体系 (ja)
dbo:wikiPageExternalLink	http://lp.jurid.net/articles/logica/dialethe.htm https://web.archive.org/web/20110704184243/http:/lp.jurid.net/articles/logica/dialethe.htm https://arxiv.org/abs/0805.1481/ https://www.cs.tau.ac.il/~aa/articles/ideal.pdf http://www.paraconsistency.org https://archive.org/details/companiontophilo00jacq https://archive.org/details/companiontophilo00jacq/page/n642 https://archive.org/details/papersphilosophi01lewi https://archive.org/details/papersphilosophi01lewi/page/n102 http://plato.stanford.edu/entries/logic-paraconsistent/
dbo:wikiPageWikiLink	dbr:Documentation dbc:Non-classical_logic dbr:Classical_logic dbr:Neural_network dbr:Principle_of_explosion dbr:Trivialism dbr:Natural_deduction dbr:Sequent_calculus dbr:Philosopher dbr:Counterexample dbr:Minimal_logic dbr:Artificial_intelligence dbr:Electronics dbr:Function_(mathematics) dbr:Information dbr:Set_theory dbr:Belief_revision dbr:Cambridge_University_Press dbr:Liar_paradox dbr:Nicolai_A._Vasiliev dbr:Paraconsistent_mathematics dbr:Walter_Carnielli dbr:Deontic_logic dbc:Paraconsistent_logic dbr:Jean-Yves_Béziau dbr:Logical_consequence dbr:Disjunctive_syllogism dbr:Quantum_entanglement dbr:Propositional_calculus dbr:If_and_only_if dbr:Deviant_logic dbr:Diderik_Batens dbr:Inference dbr:Logical_system dbr:Modus_ponens dbr:Well-formed_formula dbr:Curry's_paradox dbr:Argentina dbr:Aristotle dbr:Black_hole dbr:Brazil dbc:Philosophical_logic dbr:Latin dbr:Logic dbr:Peru dbr:Poland dbr:Quantum_physics dbc:Belief_revision dbr:Duality_(mathematics) dbr:Logical_conjunction dbr:Metalanguage dbr:Tautology_(logic) dbr:Dialetheism dbr:Solomon_Feferman dbr:Four-valued_logic dbr:Linear_logic dbr:Implicational_propositional_calculus dbr:Epistemology dbr:Formal_logic dbr:Idempotence dbr:Truth dbr:Knowledge_management dbr:Artificial_neuron dbr:Intuitionistic_logic dbr:Quantum_computing dbr:Relevance_logic dbr:Square_of_opposition dbr:Alan_Ross_Anderson dbr:Logical_truth dbr:Activation_function dbr:Conjunction_elimination dbr:Spintronics dbr:Computer_scientist dbr:Software_engineering dbr:Carl_Hewitt dbr:Contradiction dbr:Source_code dbc:Systems_of_formal_logic dbr:Double_negation dbr:Logical_connective dbr:Many-valued_logic dbr:Negation dbr:Three-valued_logic dbr:Truth_value dbr:Alfred_Tarski dbr:Equivalential_calculus dbr:Val_Plumwood dbr:Uncertainty_principle dbr:Hawking_radiation dbr:Nuel_Belnap dbr:Material_conditional dbr:Fuzzy_logic dbr:Bas_van_Fraassen dbr:Function_approximation dbr:Francisco_Miró_Quesada_Cantuarias dbr:Disjunction_introduction dbr:De_Morgan's_laws dbr:Proof_by_contradiction dbr:Semantics dbr:Stanisław_Jaśkowski dbr:Lorenzo_Peña dbr:David_Lewis_(philosopher) dbr:Metaethics dbr:Jan_Łukasiewicz dbr:Bayesian_inference dbr:Graham_Priest dbr:Foundations_of_mathematics dbr:Stanford_Encyclopedia_of_Philosophy dbr:Logical_constant dbr:Richard_Sylvan dbr:Deduction_theorem dbr:Francisco_Miró_Quesada dbr:Associativity dbr:David_Kellogg_Lewis dbr:Newton_da_Costa dbr:Quantum_coupling dbr:Multi-valued_logic dbr:Relation_(mathematics) dbr:Distributivity dbr:Software_systems dbr:J._Michael_Dunn dbr:Control_(management) dbr:Entailment dbr:Ross_Brady dbr:Kluwer_Academic_Publishers dbr:Itala_M._L._D'Ottaviano dbr:Robert_K._Meyer dbr:Excluded_middle dbr:Probability_logic dbr:Theory_(logic) dbr:Dempster-Shafer_theory dbr:Dialetheic_logic dbr:Disjunction dbr:Double_negation_elimination dbr:Empirical_adequacy dbr:Commutativity dbr:Relevant_logic dbr:Model_identification dbr:Positive_propositional_calculus dbr:Table_of_logic_symbols dbr:Truth-functional dbr:Use_cases dbr:B._H._Slater dbr:Bryson_Brown dbr:Chris_Mortensen_(philosopher) dbr:First-degree_entailment dbr:Florencio_González_Asenjo dbr:Journal_of_Applied_Logic dbr:R._E._Jennings
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Authority_control dbt:Cite_book dbt:Reflist dbt:Anchor dbt:Cite_journal dbt:Cite_SEP dbt:Cite_conference dbt:No dbt:Cite_arXiv dbt:More_citations_needed dbt:Yes dbt:Cite_encyclopedia dbt:Citation_needed dbt:Cite_IEP dbt:Non-classical_logic dbt:Short_description
dct:subject	dbc:Non-classical_logic dbc:Paraconsistent_logic dbc:Philosophical_logic dbc:Belief_revision dbc:Systems_of_formal_logic
gold:hypernym	dbr:System
rdf:type	owl:Thing
rdfs:label	Paraconsistent logic (en) Lògica paraconsistent (ca) Parakonsistente Logik (de) Kontraŭdirtolera logiko (eo) Lógica paraconsistente (es) Logica paraconsistente (it) 矛盾許容論理 (ja) Logique paracohérente (fr) 초일관 논리 (ko) Lógica paraconsistente (pt) Logika parakonsystentna (pl) Paraconsistente logica (nl) Parakonsistent logik (sv) 次协调逻辑 (zh)
owl:sameAs	http://sw.cyc.com/concept/Mx4rKZuv0vjrQdeJhOqB3cQKHA freebase:Paraconsistent logic yago-res:Paraconsistent logic wikidata:Paraconsistent logic dbpedia-it:Paraconsistent logic dbpedia-nl:Paraconsistent logic dbpedia-de:Paraconsistent logic dbpedia-fr:Paraconsistent logic dbpedia-zh:Paraconsistent logic dbpedia-ja:Paraconsistent logic dbpedia-pt:Paraconsistent logic dbpedia-es:Paraconsistent logic dbpedia-fa:Paraconsistent logic dbpedia-sv:Paraconsistent logic dbpedia-pl:Paraconsistent logic dbpedia-ko:Paraconsistent logic dbpedia-ca:Paraconsistent logic http://d-nb.info/gnd/4226190-9 dbpedia-eo:Paraconsistent logic dbpedia-fi:Paraconsistent logic dbpedia-global:Paraconsistent logic dbr:Paraconsistent logic
prov:wasDerivedFrom	wikipedia-en:Paraconsistent_logic?oldid=1295212528&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Paraconsistent_logic
is dbo:knownFor of	dbr:Stanisław_Jaśkowski dbr:Newton_da_Costa
is dbo:wikiPageRedirects of	dbr:Brazilian_logic dbr:Dual-intuitionistic_logic dbr:Applications_of_paraconsistent_logic dbr:Paracomplete dbr:Paracomplete_logic dbr:Paracompleteness dbr:Paraconsistency dbr:Paraconsistent dbr:Paraconsistent_Logic dbr:Paraconsistent_analysis dbr:Paraconsistent_logics dbr:Paraconsistent_reasoning dbr:Logic_of_Paradox
is dbo:wikiPageWikiLink of	dbr:Tetralemma dbr:Non-classical_logic dbr:Principle_of_explosion dbr:Nicholas_Rescher dbr:Trivialism dbr:Dialectical_logic dbr:Outline_of_philosophy dbr:Minimal_logic dbr:Artificial_intelligence dbr:Consistency dbr:Fixed-point_combinator dbr:Nicolai_A._Vasiliev dbr:Paraconsistent_mathematics dbr:Walter_Carnielli dbr:Logic_and_dialectic dbr:Deontic_logic dbr:Jean-Yves_Béziau dbr:Decidability_(logic) dbr:Disjunctive_syllogism dbr:Gödel's_incompleteness_theorems dbr:Philosophical_logic dbr:Law_of_noncontradiction dbr:Pluralism_(philosophy) dbr:Fuzzy_concept dbr:Deviant_logic dbr:Diderik_Batens dbr:Paradox dbr:Wilfrid_Desan dbr:Logic dbr:Dialetheism dbr:Dialogical_logic dbr:Ben_Goertzel dbr:SNePS dbr:Index_of_philosophy_articles_(I–Q) dbr:List_of_Russian_mathematicians dbr:Logical_reasoning dbr:Catuṣkoṭi dbr:Index_of_logic_articles dbr:Mathematical_analysis dbr:Semantic_Web dbr:Intuitionistic_logic dbr:Relevance_logic dbr:Logical_hexagon dbr:Carl_Hewitt dbr:Negation dbr:Three-valued_logic dbr:Nuel_Belnap dbr:Glossary_of_areas_of_mathematics dbr:Sequent dbr:Jerzy_Perzanowski dbr:List_of_Russian_people dbr:Francisco_Miró_Quesada_Cantuarias dbr:Disjunction_introduction dbr:Ad_hoc_hypothesis dbr:Stanisław_Jaśkowski dbr:Lorenzo_Peña dbr:List_of_Brazilian_scientists dbr:Timeline_of_Polish_science_and_technology dbr:Logical_possibility dbr:Graham_Priest dbr:List_of_Russian_scientists dbr:Arnon_Avron dbr:Preface_paradox dbr:Law_of_thought dbr:Achille_Varzi_(philosopher) dbr:Argumentation_framework dbr:Francisco_Dória dbr:Conditional_quantifier dbr:Newton_da_Costa dbr:Kazem_Sadegh-Zadeh dbr:Outline_of_artificial_intelligence dbr:Outline_of_logic dbr:An_Introduction_to_the_Philosophy_of_Mathematics dbr:Infinite-valued_logic dbr:Itala_D'Ottaviano dbr:Brazilian_logic dbr:Dual-intuitionistic_logic dbr:Applications_of_paraconsistent_logic dbr:Paracomplete dbr:Paracomplete_logic dbr:Paracompleteness dbr:Paraconsistency dbr:Paraconsistent dbr:Paraconsistent_Logic dbr:Paraconsistent_analysis dbr:Paraconsistent_logics dbr:Paraconsistent_reasoning dbr:Logic_of_Paradox
is dbp:knownFor of	dbr:Stanisław_Jaśkowski dbr:Newton_da_Costa
is foaf:primaryTopic of	wikipedia-en:Paraconsistent_logic