Distributivity in & Other Sentential Logics

OTTER Input Files

• Equational proof of distrib. in the C,N fragment of .
• CD proof of distributivity in the C,N fragment of .
  
• CD proof of distributivity in the C,A,K fragment of .
• CD proof of distributivity in system {M⁺, C1, C2, C3}.
  
  

MACE and MAGIC Input Files

• Matrices for non-distributivity of R⁺ (MACE | MAGIC)
  
• Matrices for non-distributivity of BCK⁺ (MACE | MAGIC)
  
  

Bob Veroff's distributivity page