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-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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International