Advanced Search

home List of Authors author

Roma J. Adillon

2 articles in 1 journals

ARTICLE TITLE YEAR AUTHORS ACTIONS

A Gentzen system equivalent to the BCK-logic Published in: Bulletin of the Section of Logic 1996 / Tom 25 / Numer 2 / p. 73 - 80

1996

Roma J. Adillon Ventura Verdu

Plain 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 - 134

2002

Roma J. Adillon Ventura Verdu

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