Jordi Rebagliato

Available identifiers

zbMath Open rebagliato.jordiMaRDI QIDQ1576378

List of research outcomes

Publication	Date of Publication	Type
Finitely equivalential Gentzen systems associated with arbitrary finite algebras	2008-02-15	Paper
Algebraic semantics for deductive systems	2004-02-15	Paper
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras	2004-01-13	Paper
Protoalgebraic Gentzen systems and the cut rule	2000-08-14	Paper
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus	1994-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q3142030	1994-06-05	Paper

Research outcomes over time

This page was built for person: Jordi Rebagliato