Results 1 to 10 of about 801,927 (249)
Paraconsistent Annotated Logic Algorithms Applied in Management and Control of Communication Network Routes [PDF]
Sensors, 2021 This paper presents a computational method based on non-classical logic dedicated to routing management and information stream control in communication networks. Paraconsistent logic (PL) was used to create an algorithmic structure whose main property is
João Inácio Da Silva Filho +10 more
doaj +3 more sources
A basic system of paraconsistent Nelsonian logic of conditionals. [PDF]
J Logic Lang Inf, 2023 We define a Kripke semantics for a conditional logic based on the propositional logic N4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs ...
Olkhovikov GK.
europepmc +3 more sources
Energies, 2023 This study presents a new Model Predictive Controller (MPC), built with algorithms based on Paraconsistent Annotated Logic (PAL), with application examples in the excitation control of a synchronous generator.
João Inácio Da Silva Filho +12 more
doaj +2 more sources
Paraconsistent Gödel Modal Logic [PDF]
International Joint Conference on Automated Reasoning, 2022 AbstractWe introduce a paraconsistent modal logic$$\mathbf {K}\mathsf {G}^2$$KG2, based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation$$\lnot $$¬. We use the logic to formalise reasoning with graded, incomplete and inconsistent information.
Marta Bílková +2 more
openaire +4 more sources
Minimally inconsistent reasoning in Semantic Web. [PDF]
PLoS ONE, 2017 Reasoning with inconsistencies is an important issue for Semantic Web as imperfect information is unavoidable in real applications. For this, different paraconsistent approaches, due to their capacity to draw as nontrivial conclusions by tolerating ...
Xiaowang Zhang
doaj +2 more sources
Manuscrito, 2018 Review of the book 'Paraconsistent Logic: Consistency, Contradiction and Negation' (2016), by Walter Carnielli and Marcelo ...
Henrique Antunes, Vincenzo Ciccarelli
doaj +2 more sources
Algebraization of Jaśkowski’s Paraconsistent Logic D2
Studies in Logic, Grammar and Rhetoric, 2015 The aim of this paper is to present an algebraic approach to Jaśkowski’s paraconsistent logic D2. We present: a D2-discursive algebra, Lindenbaum- Tarski algebra for D2 and D2-matrices.
Ciuciura Janusz
doaj +2 more sources
Paraconsistent logic and query answering in inconsistent databases [PDF]
J. Appl. Non Class. Logics, 2022 This paper concerns the paraconsistent logic LPQ⊃,F and an application of it in the area of relational database theory. The notions of a relational database, a query applicable to a relational database, and a consistent answer to a query with respect to ...
K. Middelburg
semanticscholar +1 more source
Paraconsistent Logic Programming in Three and Four-Valued Logics
Bulletin of Symbolic Logic, 2022 From the interaction among areas such as Computer Science, Formal Logic, and Automated Deduction arises an important new subject called Logic Programming.
Kleidson Êglicio Carvalho da Silva Oliveira
semanticscholar +1 more source
A Logic for Paraconsistent Transition Systems [PDF]
Non-Classical Logic. Theory and Applications, 2022 Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In this kind of scenarios, arising e.g.
A. Cruz, A. Madeira, L. Barbosa
semanticscholar +1 more source