|
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya Matematika, Mekhanika, Informatika, 2005, Volume 5, Issue 3, Pages 75–88
(Mi vngu215)
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers)
Some remarks about constructive extensions of minimal logic
M. V. Stukacheva
Abstract:
We consider the disjunction property for the extensions of minimal logic. Two continual classes of proper paraconsistent extensions with the disjunction property are defined. Besides, we obtain algebraic and semantic characteristics of the paraconsistent analog of the Kreisel–Putnam logic $L_{KP}$ and prove that $L_{KP}\in DP$.
Citation:
M. V. Stukacheva, “Some remarks about constructive extensions of minimal logic”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 5:3 (2005), 75–88
Linking options:
https://www.mathnet.ru/eng/vngu215 https://www.mathnet.ru/eng/vngu/v5/i3/p75
|
Statistics & downloads: |
Abstract page: | 150 | Full-text PDF : | 65 | References: | 50 | First page: | 1 |
|