Canonical formulas for a paraconsistent analog of the Scott logic

M. V. Stukachyova

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

Abstract: We explore how the technique of canonical formulas can be applied in studying a paraconsistent analog $\mathbf{Ls}$ of the known intermediate Scott logic $\mathbf{SL}$. Canonical formulas are defined which axiomatize $\mathbf{Ls}$ relative to minimal logic and allow us to describe all countermodels of the logic in question.

Keywords: intermediate Scott logic, canonical formulas.

UDC: 510.64

Received: 15.08.2008
Revised: 02.02.2009

 English version: Algebra and Logic, 2009, 48:4, 282–297

Bibliographic databases:

• 
• 
• 
•