Results 61 to 70 of about 105 (101)

Paraconsistent Description of Change

open access: yes, 1999
Summary: The aim of this paper is to present a description of change in the framework of tense logic. After considering some examples of using the intervals, we present the main principles of the logic of inconsistent reasoning. Then we build a tense interval paraconsistent semantics and discuss some of its possible applications.
openaire   +2 more sources

Connexive Exclusion. [PDF]

open access: yesErkenntnis
Shramko Y, Wansing H.
europepmc   +1 more source

Paraconsistent Logic

open access: yesJournal of Japan Society for Fuzzy Theory and Systems, 2001
openaire   +2 more sources

Paraconsistent resolution

The Australasian Journal of Logic, 2022
Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of well-behaved semikernels that provides nontrivial models for inconsistent theories, specializing to the classical semantics for the consistent ones.
Michal Walicki, Sjur Dyrkolbotn
openaire   +1 more source

Home - About - Disclaimer - Privacy