Results 181 to 190 of about 5,275 (212)

Annotated Paraconsistent Logic

2009
This paper presents a general view from the Two-Valued Annotated Paraconsistent Logic – 2vAPL to the Four-Valued Annotated Paraconsistent Logic – 4vAPL. The purpose to expand 2vAPL to 4vAPL is to enable the insertion of opinions from Experts in the knowledge base, so that the problems described approach their real condition, once ...
Martins Helga Gonzaga, de Moraes Carlos Henrique Valério, Costa Cláudio Inácio de Almeida, Lambert-Torres Germano, Neto Antônio Faria   +4 more
openaire   +1 more source

Paraconsistent Logics: Preamble

2015
In this introductory chapter it is introduced some aspects of paraconsistent logics, such as its brief historical developments, some main systems and mention some applications. The chapter obviously does not cover many topics: moreover it is far from to be complete. In fact, the theme is now widespread and occupies a distinguished position in academia.
openaire   +1 more source

Paraconsistent Logic, Evidence, and Justification

Studia Logica, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Lattice-Based Paraconsistent Logic

2006
In 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

2023
A 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

1991
Databases 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, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa   +3 more
openaire   +1 more source

Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic

2012
Max 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

Paraconsistent Logics and Paraconsistency

2007
Newton C.A. da Costa, Décio Krause, Otávio Bueno   +2 more
openaire   +1 more source

Logic-in-memory based on an atomically thin semiconductor

Nature, 2020
Guilherme Migliato Marega, Ahmet Avsar, Zhenyu Wang   +2 more
exaly  

Gallium nitride-based complementary logic integrated circuits

Nature Electronics, 2021
Zheyang Zheng, Li Zhang, Han Xu
exaly