paraconsistent logic

type of formal logic without explosion principle
rdfs:label
"paraconsistent logic"@en
skos:altLabel
"logica paraconsistente"@es
schema:description
"type of formal logic without explosion principle"@en
schema:dateModified "2026-07-10T12:48:24+00:00"^^xsd:dateTime
schema:version 2515866878
wikibase:identifiers 19
wikibase:sitelinks 17
wikibase:statements 21
p:P10037 wd:statement/Q426592-23CC2F48-8234-4E24-A37A-94A9C50851D3
p:P10283 wd:statement/Q426592-150B533B-A54E-4077-8C52-309DD9B6A603
p:P1036 wd:statement/Q426592-9125BE3B-F80E-4F97-B5FB-B2A23629D8F2
wd:statement/Q426592-F5449EDB-1003-4BE2-91D8-6FFAC0D6EF7C
p:P10565 wd:statement/Q426592-B8F8CE0D-CDBF-45BD-B41D-84450FD484AB
p:P14541 wd:statement/Q426592-8080BAAD-68A3-476A-A9EE-1DA920749588
p:P227 wd:statement/Q426592-aaa064bd-ff99-4708-b966-54fb66a86f2c
p:P279 wd:statement/Q426592-fad35207-457d-c5a3-8864-60b1bbd4b704
p:P2924 wd:statement/Q426592-1285756e-4d5f-8767-2e8e-eb569bd24288
p:P3123 wd:statement/Q426592-4DAA07EC-A294-4515-B8E4-3FC7F68B6C40
p:P3285 wd:statement/Q426592-2802eb32-4c1c-45fc-ae94-39ec9d56c468
p:P3417 wd:statement/Q426592-47A3A24C-F92D-4364-A3AA-4949A9667856
p:P3827 wd:statement/Q426592-A416E111-DDF9-43F5-B23B-12C5080A8F60
p:P4215 wd:statement/Q426592-4115261F-1132-496B-9F11-E8AACA0B2159
p:P508 wd:statement/Q426592-BE8CEA18-0645-4899-871F-5DA23D9D25EC
p:P5088 wd:statement/Q426592-31262928-7680-46C7-ABAC-779E0287974C
p:P6366 wd:statement/Q426592-21DEF32D-96F5-4FCE-BA90-ABD8A74B7EAE
p:P646 wd:statement/Q426592-F5B709B6-9B8D-4028-B13B-04AAEFFC9C20
p:P7775 wd:statement/Q426592-48f903e7-4979-ffe3-915f-4b2dfb102780
p:P8408 wd:statement/Q426592-8EC70E9A-8B51-4943-A932-C6E213798E7B
p:P910 wd:statement/Q426592-004207E5-7F1A-494C-BE44-32AD4EA3A2AE
p:direct-normalized/P227 <https://d-nb.info/gnd/4226190-9>
p:direct-normalized/P3285 <http://msc2010.org/resources/MSC/2010/03B53>
p:direct-normalized/P508 <http://purl.org/bncf/tid/69980>
p:direct-normalized/P6366 <https://makg.org/entity/16796852>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/ParaconsistentLogic>
wdt:P10037 "logica-paraconsistente"
wdt:P10283 "C16796852"
wdt:P1036 "160"
"511.3"
wdt:P10565 "23554"
wdt:P14541 "cuoSG"
wdt:P227 "4226190-9"
wdt:P279 mathematical logic
wdt:P2924 "2707493"
wdt:P3123 "logic-paraconsistent"
wdt:P3285 "03B53"
wdt:P3417 "Paraconsistent-Logic"
wdt:P3827 "paraconsistent-logics"
wdt:P4215 "paraconsistent logic"
wdt:P508 "69980"
wdt:P5088 "para-log"
wdt:P6366 "16796852"
wdt:P646 "/m/026gk0"
wdt:P7775 "Paraconsistent_logic"
wdt:P8408 "ParaconsistentLogic"
wdt:P910 Category:Paraconsistent logic
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata