AbstractWe present a logic with has both a simple semantics and a cut-free Gentzen-type system on one hand, and which combines relevance logics, da Costa's paraconsistent logics, and classical logic on the other. We further show that the logic has many other nice properties, and that its language is ideal from the semantic point of view
One is often said to be reasoning well when they are reasoning logically. Many attempts to say what ...
In this paper, we present a paraconsistent description logic based on quasi-classical logic. Compare...
We identify three classes of four-state paraconsis-tent logics according to their different approach...
We present a logic with has both a simple semantics and a cut-free Gentzen-t ype system on one hand,...
AbstractWe present a logic with has both a simple semantics and a cut-free Gentzen-type system on on...
Classical propositional logic can be characterized, indirectly, by means of a complementary formal s...
Relevance logic is ordinarily seen as a subsystem of classical logic under the translation that repl...
In this paper we present a logic that determines when implications in a classical logic context expr...
Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsi...
Abstract Classical logic contains intuitionistic and paraconsistent logics. This study clarifies tha...
This paper is devoted to a consequence relation combining the negation of Classical Logic (CL) and a...
Abstract: This article begins with a general and abstract definition of logic and, particularly, of ...
[From introductory section] Typically, a logic consists of a formal or informal language together wi...
This report investigates the question of the universality of classical logic. The approach is to sho...
We present a new paraconsistent approach to logic programming, called Quasi-classical (QC for short)...
One is often said to be reasoning well when they are reasoning logically. Many attempts to say what ...
In this paper, we present a paraconsistent description logic based on quasi-classical logic. Compare...
We identify three classes of four-state paraconsis-tent logics according to their different approach...
We present a logic with has both a simple semantics and a cut-free Gentzen-t ype system on one hand,...
AbstractWe present a logic with has both a simple semantics and a cut-free Gentzen-type system on on...
Classical propositional logic can be characterized, indirectly, by means of a complementary formal s...
Relevance logic is ordinarily seen as a subsystem of classical logic under the translation that repl...
In this paper we present a logic that determines when implications in a classical logic context expr...
Abstract. Classical logic predicts that everything (thus nothing useful at all) follows from inconsi...
Abstract Classical logic contains intuitionistic and paraconsistent logics. This study clarifies tha...
This paper is devoted to a consequence relation combining the negation of Classical Logic (CL) and a...
Abstract: This article begins with a general and abstract definition of logic and, particularly, of ...
[From introductory section] Typically, a logic consists of a formal or informal language together wi...
This report investigates the question of the universality of classical logic. The approach is to sho...
We present a new paraconsistent approach to logic programming, called Quasi-classical (QC for short)...
One is often said to be reasoning well when they are reasoning logically. Many attempts to say what ...
In this paper, we present a paraconsistent description logic based on quasi-classical logic. Compare...
We identify three classes of four-state paraconsis-tent logics according to their different approach...
DOI
Add to ORKG