Research papers

On models of paraconsistent logic with Kreisel–Putnam's and Scott's axioms

M. V. Stukacheva

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

Abstract: We combine the technique of canonical formulas for the class of extensions of minimal logic with the technique of Kripke $j$-frames. As a result, we characterize paraconsistent logic $\mathbf{Lskp}$ by finite Kripke frames.

Keywords: paraconsistent logic, canonical formulas, Kripke frame.

UDC: 510.64

MSC: 03B53

Received June 30, 2008, published October 29, 2008

Bibliographic databases:

•