Vladimir M. Popov
3 artykuły w 1 czasopismach
-
On a closure of a set of classically essential formulas and on relevant implication Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 1 / s. 20 - 241989CZYSTY TEKST
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ω Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 3 / s. 112 - 1171997CZYSTY TEKST
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 Opublikowano w: Bulletin of the Section of Logic 1988 / Tom 17 / Numer 3-4 / s. 148 - 1581988CZYSTY TEKST
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" }
