Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Paraconsistent logic
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
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://archive.org/details/companiontophilo00jacq
https://archive.org/details/companiontophilo00jacq/page/n642
https://archive.org/details/papersphilosophi01lewi
https://archive.org/details/papersphilosophi01lewi/page/n102
https://www.cs.tau.ac.il/~aa/articles/ideal.pdf
http://www.paraconsistency.org
https://web.archive.org/web/20110704184243/http:/lp.jurid.net/articles/logica/dialethe.htm
https://arxiv.org/abs/0805.1481/
http://plato.stanford.edu/entries/logic-paraconsistent/
dbo:
wikiPageWikiLink
dbr
:Foundations_of_mathematics
dbr
:Logical_truth
dbr
:Semantics
dbr
:Intuitionistic_logic
dbr
:If_and_only_if
dbr
:Francisco_Miró_Quesada_Cantuarias
dbr
:Francisco_Miró_Quesada
dbr
:Argentina
dbr
:Aristotle
dbr
:Black_hole
dbr
:Brazil
dbr
:Latin
dbr
:Peru
dbr
:Poland
dbr
:Formal_logic
dbr
:Metaethics
dbr
:Liar_paradox
dbr
:Nuel_Belnap
dbr
:Trivialism
dbr
:Deduction_theorem
dbc
:Non-classical_logic
dbr
:Artificial_intelligence
dbr
:Deontic_logic
dbr
:Electronics
dbr
:Epistemology
dbr
:Function_(mathematics)
dbr
:Logic
dbr
:Quantum_computing
dbr
:Quantum_physics
dbr
:Truth
dbr
:Alfred_Tarski
dbr
:Source_code
dbc
:Philosophical_logic
dbr
:Paraconsistent_mathematics
dbr
:Hawking_radiation
dbr
:Computer_scientist
dbr
:Information
dbr
:Set_theory
dbr
:Software_engineering
dbr
:Solomon_Feferman
dbr
:Double_negation
dbr
:Logical_connective
dbr
:Propositional_calculus
dbr
:Implicational_propositional_calculus
dbr
:Jean-Yves_Béziau
dbr
:Modus_ponens
dbr
:Function_approximation
dbr
:Diderik_Batens
dbr
:Lorenzo_Peña
dbr
:Logical_constant
dbr
:Philosopher
dbr
:Bayesian_inference
dbr
:Uncertainty_principle
dbr
:Knowledge_management
dbr
:Spintronics
dbr
:Artificial_neuron
dbr
:De_Morgan's_laws
dbr
:Contradiction
dbr
:Idempotence
dbr
:Natural_deduction
dbr
:Stanisław_Jaśkowski
dbr
:Documentation
dbr
:Inference
dbr
:Newton_da_Costa
dbr
:Walter_Carnielli
dbr
:Val_Plumwood
dbr
:Carl_Hewitt
dbr
:Curry's_paradox
dbr
:Fuzzy_logic
dbr
:Neural_network
dbr
:Quantum_entanglement
dbr
:Stanford_Encyclopedia_of_Philosophy
dbr
:Metalanguage
dbr
:Relevance_logic
dbr
:Square_of_opposition
dbr
:Counterexample
dbr
:Material_conditional
dbr
:Classical_logic
dbr
:Sequent_calculus
dbr
:David_Lewis_(philosopher)
dbr
:Logical_conjunction
dbr
:Negation
dbr
:Principle_of_explosion
dbr
:Tautology_(logic)
dbr
:Alan_Ross_Anderson
dbr
:Richard_Sylvan
dbr
:Disjunctive_syllogism
dbr
:Belief_revision
dbr
:Deviant_logic
dbr
:Cambridge_University_Press
dbr
:Bas_van_Fraassen
dbr
:Many-valued_logic
dbr
:Three-valued_logic
dbr
:Truth_value
dbr
:Linear_logic
dbr
:Well-formed_formula
dbr
:Relation_(mathematics)
dbr
:Jan_Łukasiewicz
dbr
:Proof_by_contradiction
dbr
:Duality_(mathematics)
dbr
:Activation_function
dbr
:Control_(management)
dbr
:Dialetheism
dbr
:Graham_Priest
dbr
:Logical_consequence
dbr
:Minimal_logic
dbr
:Nicolai_A._Vasiliev
dbr
:Disjunction_introduction
dbr
:Four-valued_logic
dbc
:Belief_revision
dbr
:Quantum_coupling
dbr
:Ross_Brady
dbc
:Systems_of_formal_logic
dbr
:Logical_system
dbr
:Software_systems
dbc
:Paraconsistent_logic
dbr
:Conjunction_elimination
dbr
:Entailment
dbr
:Kluwer_Academic_Publishers
dbr
:Distributivity
dbr
:Associativity
dbr
:David_Kellogg_Lewis
dbr
:Multi-valued_logic
dbr
:Probability_logic
dbr
:Truth-functional
dbr
:Dialetheic_logic
dbr
:Dempster-Shafer_theory
dbr
:Disjunction
dbr
:Commutativity
dbr
:Empirical_adequacy
dbr
:Excluded_middle
dbr
:Double_negation_elimination
dbr
:Equivalential_calculus
dbr
:Itala_M._L._D'Ottaviano
dbr
:J._Michael_Dunn
dbr
:Model_identification
dbr
:Positive_propositional_calculus
dbr
:Relevant_logic
dbr
:Use_cases
dbr
:Theory_(logic)
dbr
:Table_of_logic_symbols
dbr
:Robert_K._Meyer
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
:Non-classical_logic
dbt
:Cite_book
dbt
:Anchor
dbt
:Authority_control
dbt
:Citation_needed
dbt
:Cite_IEP
dbt
:Cite_SEP
dbt
:Cite_arXiv
dbt
:Cite_conference
dbt
:Cite_encyclopedia
dbt
:Cite_journal
dbt
:More_citations_needed
dbt
:No
dbt
:Reflist
dbt
:Short_description
dbt
:Yes
dct:
subject
dbc
:Non-classical_logic
dbc
:Philosophical_logic
dbc
:Belief_revision
dbc
:Systems_of_formal_logic
dbc
:Paraconsistent_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)
Logique paracohérente
(fr)
矛盾許容論理
(ja)
초일관 논리
(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-de
:Paraconsistent logic
dbpedia-es
:Paraconsistent logic
dbpedia-it
:Paraconsistent logic
dbpedia-nl
:Paraconsistent logic
dbpedia-pl
:Paraconsistent logic
dbpedia-fr
:Paraconsistent logic
dbpedia-ja
:Paraconsistent logic
dbpedia-pt
:Paraconsistent logic
dbpedia-zh
:Paraconsistent logic
dbpedia-sv
:Paraconsistent logic
dbpedia-ko
:Paraconsistent logic
dbpedia-ca
:Paraconsistent logic
http://d-nb.info/gnd/4226190-9
dbpedia-eo
:Paraconsistent logic
dbpedia-fa
:Paraconsistent logic
dbpedia-fi
:Paraconsistent logic
dbpedia-global
:Paraconsistent logic
prov:
wasDerivedFrom
wikipedia-en
:Paraconsistent_logic?oldid=1309895306&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
:Dual-intuitionistic_logic
dbr
:Brazilian_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
:Dual-intuitionistic_logic
dbr
:List_of_Brazilian_scientists
dbr
:Decidability_(logic)
dbr
:Intuitionistic_logic
dbr
:Francisco_Miró_Quesada_Cantuarias
dbr
:Kazem_Sadegh-Zadeh
dbr
:An_Introduction_to_the_Philosophy_of_Mathematics
dbr
:Timeline_of_Polish_science_and_technology
dbr
:Catuṣkoṭi
dbr
:Nuel_Belnap
dbr
:Trivialism
dbr
:Law_of_thought
dbr
:Francisco_Dória
dbr
:Artificial_intelligence
dbr
:Deontic_logic
dbr
:Logic
dbr
:Mathematical_analysis
dbr
:Semantic_Web
dbr
:Paraconsistent_mathematics
dbr
:Philosophical_logic
dbr
:Jean-Yves_Béziau
dbr
:List_of_Russian_people
dbr
:Diderik_Batens
dbr
:Lorenzo_Peña
dbr
:Law_of_noncontradiction
dbr
:Gödel's_incompleteness_theorems
dbr
:Pluralism_(philosophy)
dbr
:Stanisław_Jaśkowski
dbr
:Paradox
dbr
:Ad_hoc_hypothesis
dbr
:Logical_hexagon
dbr
:Logical_reasoning
dbr
:Jerzy_Perzanowski
dbr
:Ben_Goertzel
dbr
:Dialectical_logic
dbr
:Itala_D'Ottaviano
dbr
:Newton_da_Costa
dbr
:Walter_Carnielli
dbr
:Arnon_Avron
dbr
:Fixed-point_combinator
dbr
:Carl_Hewitt
dbr
:Nicholas_Rescher
dbr
:Dialogical_logic
dbr
:SNePS
dbr
:Relevance_logic
dbr
:Argumentation_framework
dbr
:Sequent
dbr
:Tetralemma
dbr
:Negation
dbr
:Principle_of_explosion
dbr
:Achille_Varzi_(philosopher)
dbr
:Disjunctive_syllogism
dbr
:Deviant_logic
dbr
:List_of_Russian_mathematicians
dbr
:Three-valued_logic
dbr
:Non-classical_logic
dbr
:Consistency
dbr
:List_of_Russian_scientists
dbr
:Fuzzy_concept
dbr
:Logical_possibility
dbr
:Dialetheism
dbr
:Graham_Priest
dbr
:Minimal_logic
dbr
:Nicolai_A._Vasiliev
dbr
:Disjunction_introduction
dbr
:Outline_of_artificial_intelligence
dbr
:Outline_of_logic
dbr
:Glossary_of_areas_of_mathematics
dbr
:Index_of_logic_articles
dbr
:Index_of_philosophy_articles_(I–Q)
dbr
:Outline_of_philosophy
dbr
:Conditional_quantifier
dbr
:Wilfrid_Desan
dbr
:Logic_and_dialectic
dbr
:Infinite-valued_logic
dbr
:Preface_paradox
dbr
:Brazilian_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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International