Ventura Verdu
5 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Lukasiewicz logic and Wajsberg algebras Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 2 / s. 51 - 55ROK: 1990CZYSTY TEKSTBIBTEX
-
A Gentzen system equivalent to the BCK-logic Opublikowano w: Bulletin of the Section of Logic 1996 / Tom 25 / Numer 2 / s. 73 - 80ROK: 1996CZYSTY TEKSTBIBTEX
-
On the logic of distributive lattices Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 2 / s. 79 - 86ROK: 1989CZYSTY TEKSTBIBTEX
-
Characterization of the reduced matrices for the {&,or}-fragment of classical logic Opublikowano w: Bulletin of the Section of Logic 1991 / Tom 20 / Numer 3-4 / s. 124 - 129ROK: 1991CZYSTY TEKSTBIBTEX
-
On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive System Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 3 / s. 125 - 134ROK: 2002CZYSTY TEKSTBIBTEX
