Switch to: References

Add citations

You must login to add citations.
  1. On Pretabular Extensions of Relevance Logic.Asadollah Fallahi & James Gordon Raftery - 2024 - Studia Logica 112 (5):967-985.
    We exhibit infinitely many semisimple varieties of semilinear De Morgan monoids (and likewise relevant algebras) that are not tabular, but which have only tabular proper subvarieties. Thus, the extension of relevance logic by the axiom \((p\rightarrow q)\vee (q\rightarrow p)\) has infinitely many pretabular axiomatic extensions, regardless of the presence or absence of Ackermann constants.
    Download  
     
    Export citation  
     
    Bookmark  
  • Uniform interpolation and compact congruences.Samuel J. van Gool, George Metcalfe & Constantine Tsinakis - 2017 - Annals of Pure and Applied Logic 168 (10):1927-1948.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Universal proof theory: Semi-analytic rules and Craig interpolation.Amirhossein Akbar Tabatabai & Raheleh Jalali - 2025 - Annals of Pure and Applied Logic 176 (1):103509.
    Download  
     
    Export citation  
     
    Bookmark  
  • Franco Montagna’s Work on Provability Logic and Many-valued Logic.Lev Beklemishev & Tommaso Flaminio - 2016 - Studia Logica 104 (1):1-46.
    Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic.
    Download  
     
    Export citation  
     
    Bookmark  
  • Craig Interpolation in the Presence of Unreliable Connectives.João Rasga, Cristina Sernadas & Amlcar Sernadas - 2014 - Logica Universalis 8 (3-4):423-446.
    Arrow and turnstile interpolations are investigated in UCL [introduced by Sernadas et al. ], a logic that is a complete extension of classical propositional logic for reasoning about connectives that only behave as expected with a given probability. Arrow interpolation is shown to hold in general and turnstile interpolation is established under some provisos.
    Download  
     
    Export citation  
     
    Bookmark   1 citation