In the present article, different types of semantics for the logic N4, the paraconsistent variant of Nelsonâ€™s constructive logic with strong negation, will be considered. N4 will be characterized inâ€¦ (More)

This work treats the problem of axiomatizing the truth and falsity consequence relations, |=t and |=f , determined via truth and falsity orderings on the trilattice SIXTEEN3 (Shramko and Wansing,â€¦ (More)

Various fourand three-valued modal propositional logics are studied. The basic systems are modal extensions BK and BS4 of Belnap and Dunnâ€™s four-valued logic of firstdegree entailment. Three-valuedâ€¦ (More)

In the first part of this paper, we motivated and defined three systems of constructive and inconsistency-tolerant description logic. The variety of arising systems is conditioned by the variety ofâ€¦ (More)

In [4] a nonmonotonic formalism called partial equilibrium logic (PEL) was proposed as a logical foundation for the well-founded semantics (WFS) of logic programs. PEL consists in de ning a class ofâ€¦ (More)

Two logics L1 and L2 are negatively equivalent if for any set of formulas X and any negated formula Â¬Ï†, Â¬Ï† can be deduced from the set of hypotheses X in L1 if and only if it can be done in L2. Thisâ€¦ (More)