Jordi Rebagliato

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2006
j6		Àngel J. Gil, Jordi Rebagliato: Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics. Reports on Mathematical Logic 41: 9-30 (2006)
	2003
j5		Willem J. Blok, Jordi Rebagliato: Algebraic Semantics for Deductive Systems. Studia Logica 74(1-2): 153-180 (2003)
	2000
j4		Àngel J. Gil, Jordi Rebagliato: Protoalgebraic Gentzen Systems and the Cut Rule. Studia Logica 65(1): 53-89 (2000)
	1999
j3		Àngel J. Gil, Jordi Rebagliato, Ventura Verdú: A Strong Completeness Theorem for the Gentzen systems associated with finite algebras. Journal of Applied Non-Classical Logics 9(1): 9-36 (1999)
	1994
j2		Jordi Rebagliato, Ventura Verdú: A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus. Math. Log. Q. 40: 61-68 (1994)
	1993
j1		Jordi Rebagliato, Ventura Verdú: On the Algebraization of Some Gentzen Systems. Fundam. Inform. 18: 319-338 (1993)

Coauthor Index

Last update Sun May 26 08:36:16 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page