Exploració per tema "S-type implications"

Ara es mostren els items 1-1 de 1

    • Propositional calculus for adjointness lattices 

      Morsi, Nehad N.; Aziz Mohammed, E. A.; El-Zekey, M. S. (Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica, 2001)
      Article
      Accés obert
      Recently, Morsi has developed a complete syntax for the class of all adjointness algebras $\left( L,\leq ,A,K,H\right) $. There, $\left( L,\leq \right) $ is a partially ordered set with top element $1$, $K$ is a conjunction ...