Vladimir L. Vasyukov
5 artykuły w 1 czasopismach
-
Implicative logics, sequential deductive systems and exponential multicategories Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 1-2 / s. 13 - 252000CZYSTY TEKST
Vladimir L. Vasyukov, Implicative logics, sequential deductive systems and exponential multicategories, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 1-2, s. 13 - 25
BIBTEX@Article{ authors = " Vladimir L. Vasyukov", title = "Implicative logics, sequential deductive systems and exponential multicategories", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 1-2", pages = "13 - 25" }
-
The bibinary semantics for R and Lω Opublikowano w: Bulletin of the Section of Logic 1986 / Tom 15 / Numer 3 / s. 109 - 1141986CZYSTY TEKST
Vladimir L. Vasyukov, The bibinary semantics for R and Lω, Bulletin of the Section of Logic, 1986 / Tom 15 / Numer 3, s. 109 - 114
BIBTEX@Article{ authors = " Vladimir L. Vasyukov", title = "The bibinary semantics for R and Lω", journal = "Bulletin of the Section of Logic", issue = "1986 / Tom 15 / Numer 3", pages = "109 - 114" }
-
From Ternary to Tetrary? Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 4 / s. 163 - 1671994CZYSTY TEKST
Vladimir L. Vasyukov, From Ternary to Tetrary?, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 4, s. 163 - 167
BIBTEX@Article{ authors = " Vladimir L. Vasyukov", title = "From Ternary to Tetrary?", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 4", pages = "163 - 167" }
-
T-F-toposes for Lukasiewicz's infinite-valued logics Opublikowano w: Bulletin of the Section of Logic 1988 / Tom 17 / Numer 3-4 / s. 182 - 1871988CZYSTY TEKST
Vladimir L. Vasyukov, T-F-toposes for Lukasiewicz's infinite-valued logics, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 182 - 187
BIBTEX@Article{ authors = " Vladimir L. Vasyukov", title = "T-F-toposes for Lukasiewicz's infinite-valued logics", journal = "Bulletin of the Section of Logic", issue = "1988 / Tom 17 / Numer 3-4", pages = "182 - 187" }
-
Implicative logics in categories Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 4 / s. 188 - 1921997CZYSTY TEKST
Vladimir L. Vasyukov, Implicative logics in categories, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 4, s. 188 - 192
BIBTEX@Article{ authors = " Vladimir L. Vasyukov", title = "Implicative logics in categories", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 4", pages = "188 - 192" }
