Results 121 to 129 of about 132 (129)
Some of the next articles are maybe not open access.
Lattice-Based Paraconsistent Logic
2006In this paper we describe a procedure for developing models and associated proof systems for two styles of paraconsistent logic. We first give an Urquhart-style representation of bounded not necessarily discrete lattices using (grill, cogrill) pairs. From this we develop Kripke semantics for a logic permitting 3 truth values: true, false and both true ...
Wendy MacCaull, Dimiter Vakarelov
openaire +1 more source
Paraconsistency: Logic and Applications
2023A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can
openaire +1 more source
Reasoning in Paraconsistent Logics
1991Databases and knowledge bases could be inconsistent in many ways. For example, if a programmer is constructing an expert system ES relating to a domain D,he does so by consulting several experts (say n in number) in the field D. From each expert d i , 1 ≤ i ≤ n, he obtains some information, and this may be represented in logic as a collection of ...
James J. Lu +3 more
openaire +1 more source
Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic
2012Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic.
openaire +1 more source