Switch to: Citations

References in:

Sentential constants in systems near R

Studia Logica 52 (3):443 - 455 (1993)

Add references

You must login to add references.
  1. 3088 varieties a solution to the Ackermann constant problem.John K. Slaney - 1985 - Journal of Symbolic Logic 50 (2):487-501.
    It is shown that there are exactly six normal DeMorgan monoids generated by the identity element alone. The free DeMorgan monoid with no generators but the identity is characterised and shown to have exactly three thousand and eighty-eight elements. This result solves the "Ackerman constant problem" of describing the structure of sentential constants in the logic R.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • On formulas of one variable in intuitionistic propositional calculus.Iwao Nishimura - 1960 - Journal of Symbolic Logic 25 (4):327-331.
  • Sentential constants in R and r⌝.Robert K. Meyer - 1986 - Studia Logica 45 (3):301 - 327.
    In this paper, we shall confine ourselves to the study of sentential constants in the system R of relevant implication.In dealing with the behaviour of the sentential constants in R, we shall think of R itself as presented in three stages, depending on the level of truth-functional involvement.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • On the structure of De Morgan monoids with corollaries on relevant logic and theories.John K. Slaney - 1988 - Notre Dame Journal of Formal Logic 30 (1):117-129.
  • Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.