Here we present a new paraconsistent logic, called quasi-classical logic (or QC logic) that allows the derivation of non-trivializable classical inferences. For this it is necessary that queries are in conjunc-tive normal form and the reasoning process is essentially that of clause nding. We present a proof-theoretic deenition, and semantics, and show that the consequence relation observes reee...

Possibilistic logic and quasi-classical logic are two logics that were developed in artificial intelligence for coping with inconsistency in different ways, yet preserving the main features of classical logic. This paper presents a new logic, called quasi-possibilistic logic, that encompasses possibilistic logic and quasi-classical logic, and preserves the merits of both logics. Indeed, it can ...

Notions of robust and " classical " states for an open quantum system are introduced and discussed in the framework of the isometric-sweeping decomposition of trace class operators. Using the predictability sieve proposed by Zurek, " quasi-classical " states are defined. A number of examples illustrating how the " quasi-classical " states correspond to classical points in phase space connected ...

Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we first present the quasi-classical semantics for description logic SHIQ, which is based on quasi-classical logic. We show that this semantics can be used to deal with inconsistency and that it is reduced to the standard semantics when there...

We examine the equilibrium properties of hot, dilute, non-relativistic plasmas. The partition function and density correlation functions of a classical plasma with several species are expressed in terms of a functional integral over electrostatic potential distributions. This is a convenient formulation for performing a well-defined perturbative expansion. The leading order, field-theoretic tre...