-
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" }
-
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" }
