Switch to: References

Add citations

You must login to add citations.
  1. Bounded-analytic sequent calculi and embeddings for hypersequent logics.Agata Ciabattoni, Timo Lang & Revantha Ramanayake - 2021 - Journal of Symbolic Logic 86 (2):635-668.
    A sequent calculus with the subformula property has long been recognised as a highly favourable starting point for the proof theoretic investigation of a logic. However, most logics of interest cannot be presented using a sequent calculus with the subformula property. In response, many formalisms more intricate than the sequent calculus have been formulated. In this work we identify an alternative: retain the sequent calculus but generalise the subformula property to permit specific axiom substitutions and their subformulas. Our investigation leads (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Poset Products as Relational Models.Wesley Fussner - 2021 - Studia Logica 110 (1):95-120.
    We introduce a relational semantics based on poset products, and provide sufficient conditions guaranteeing its soundness and completeness for various substructural logics. We also demonstrate that our relational semantics unifies and generalizes two semantics already appearing in the literature: Aguzzoli, Bianchi, and Marra’s temporal flow semantics for Hájek’s basic logic, and Lewis-Smith, Oliva, and Robinson’s semantics for intuitionistic Łukasiewicz logic. As a consequence of our general theory, we recover the soundness and completeness results of these prior studies in a uniform (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Algebraic proof theory: Hypersequents and hypercompletions.Agata Ciabattoni, Nikolaos Galatos & Kazushige Terui - 2017 - Annals of Pure and Applied Logic 168 (3):693-737.
    Download  
     
    Export citation  
     
    Bookmark   7 citations