Vladimir M. Popov
3 articles in 1 journals
-
On a closure of a set of classically essential formulas and on relevant implication Published in: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 1 / p. 20 - 241989Plain Text
Vladimir M. Popov, On a closure of a set of classically essential formulas and on relevant implication, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 1, s. 20 - 24
BIBTEX@Article{ authors = " Vladimir M. Popov", title = "On a closure of a set of classically essential formulas and on relevant implication", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 1", pages = "20 - 24" }
-
BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lω Published in: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 3 / p. 112 - 1171997Plain Text
Alexander S. Karpenko, Vladimir M. Popov, BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lω, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 3, s. 112 - 117
BIBTEX@Article{ authors = " Alexander S. Karpenko, Vladimir M. Popov", title = "BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lω", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 3", pages = "112 - 117" }
-
Paraconsistent sequential calculi Published in: Bulletin of the Section of Logic 1988 / Tom 17 / Numer 3-4 / p. 148 - 1581988Plain Text
Vladimir M. Popov, Paraconsistent sequential calculi, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 148 - 158
BIBTEX@Article{ authors = " Vladimir M. Popov", title = "Paraconsistent sequential calculi", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "148 - 158" }
