Roma J. Adillon
2 articles in 1 journals
-
A Gentzen system equivalent to the BCK-logic Published in: Bulletin of the Section of Logic 1996 / Tom 25 / Numer 2 / p. 73 - 801996Plain Text
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" }
-
On a Substructural Gentzen System, its Equivalent Variety Semantics and its External Deductive System Published in: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 3 / p. 125 - 1342002Plain Text
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" }