-
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 - 1342002CZYSTY TEKST
Roma J. Adillon, Ventura Verdu, On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive System, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 3, s. 125 - 134
BIBTEX@Article{ authors = " Roma J. Adillon, Ventura Verdu", title = "On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive System", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 3", pages = "125 - 134" }
-
Lukasiewicz logic and Wajsberg algebras Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 2 / s. 51 - 551990CZYSTY TEKST
Antonio Rodrigues, Antoni Torrens, Ventura Verdu, Lukasiewicz logic and Wajsberg algebras, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 2, s. 51 - 55
BIBTEX@Article{ authors = " Antonio Rodrigues, Antoni Torrens, Ventura Verdu", title = "Lukasiewicz logic and Wajsberg algebras", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 2", pages = "51 - 55" }
-
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 - 1291991CZYSTY TEKST
Josep Maria Font, Ventura Verdu, Characterization of the reduced matrices for the {&,or}-fragment of classical logic, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 124 - 129
BIBTEX@Article{ authors = " Josep Maria Font, Ventura Verdu", title = "Characterization of the reduced matrices for the {&,or}-fragment of classical logic", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "124 - 129" }
-
On the logic of distributive lattices Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 2 / s. 79 - 861989CZYSTY TEKST
Josep Maria Font, Ventura Verdu, On the logic of distributive lattices, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 79 - 86
BIBTEX@Article{ authors = " Josep Maria Font, Ventura Verdu", title = "On the logic of distributive lattices", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 2", pages = "79 - 86" }
-
A Gentzen system equivalent to the BCK-logic Opublikowano w: Bulletin of the Section of Logic 1996 / Tom 25 / Numer 2 / s. 73 - 801996CZYSTY TEKST
Roma J. Adillon, Ventura Verdu, A Gentzen system equivalent to the BCK-logic, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 2, s. 73 - 80
BIBTEX@Article{ authors = " Roma J. Adillon, Ventura Verdu", title = "A Gentzen system equivalent to the BCK-logic", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 2", pages = "73 - 80" }
