Switch to: References

Add citations

You must login to add citations.
  1. On Pretabular Extensions of Relevance Logic.Asadollah Fallahi & James Gordon Raftery - forthcoming - Studia Logica:1-19.
    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)$$ ( p → q ) ∨ ( q → p ) has infinitely many pretabular axiomatic extensions, regardless of the presence or absence of Ackermann constants.
    Download  
     
    Export citation  
     
    Bookmark  
  • A Second Pretabular Classical Relevance Logic.Asadollah Fallahi - 2018 - Studia Logica 106 (1):191-214.
    Pretabular logics are those that lack finite characteristic matrices, although all of their normal proper extensions do have some finite characteristic matrix. Although for Anderson and Belnap’s relevance logic R, there exists an uncountable set of pretabular extensions :1249–1270, 2008), for the classical relevance logic \\rightarrow B\}\) there has been known so far a pretabular extension: \. In Section 1 of this paper, we introduce some history of pretabularity and some relevance logics and their algebras. In Section 2, we introduce (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations