4 found
Sort by:
Disambiguations:
Jordi Rebagliato [3]J. Rebagliato [1]
  1. W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.
    The notion of an algebraic semantics of a deductive system was proposed in [3], and a preliminary study was begun. The focus of [3] was the definition and investigation of algebraizable deductive systems, i.e., the deductive systems that possess an equivalent algebraic semantics. The present paper explores the more general property of possessing an algebraic semantics. While a deductive system can have at most one equivalent algebraic semantics, it may have numerous different algebraic semantics. All of these give rise to (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Àngel J. Gil & Jordi Rebagliato (2000). Protoalgebraic Gentzen Systems and the Cut Rule. Studia Logica 65 (1):53-89.
    In this paper we show that, in Gentzen systems, there is a close relation between two of the main characters in algebraic logic and proof theory respectively: protoalgebraicity and the cut rule. We give certain conditions under which a Gentzen system is protoalgebraic if and only if it possesses the cut rule. To obtain this equivalence, we limit our discussion to what we call regular sequent calculi, which are those comprising some of the structural rules and some logical rules, in (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Àngel J. Gil, Jordi Rebagliato & Ventura Verdú (1999). A Strong Completeness Theorem for the Gentzen Systems Associated with Finite Algebras. Journal of Applied Non-Classical Logics 9 (1):9-36.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Jordi Rebagliato & Ventura Verdú (1994). A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus. Mathematical Logic Quarterly 40 (1):61-68.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation