The following pages link to Jordi Rebagliato (Q1576378):
Displayed 7 items.
- (Q1422449) (redirect page) (← links)
- Algebraic semantics for deductive systems (Q1422450) (← links)
- Protoalgebraic Gentzen systems and the cut rule (Q1576379) (← links)
- (Q3142030) (← links)
- A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus (Q4304150) (← links)
- A Strong Completeness Theorem for the Gentzen systems associated with finite algebras (Q4443419) (← links)
- (Q5441551) (← links)