scientific article; zbMATH DE number 1960700

zbMath1024.68067MaRDI QIDQ4415709

Nehad N. Morsi, Moataz El-Zekey, E. A. Aziz Mohammed

Publication date: 6 August 2003

Full work available at URL: https://eudml.org/doc/39231

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

SemanticsSyntaxNonclassical logicsadjointness algebrasAdjointness\(S\)-type implicationspropositional calculus for adjointness lattices

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Semantics in the theory of computing (68Q55)

Related Items (5)

On good EQ-algebras ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ Issues on adjointness in multiple-valued logics ⋮ A small set of axioms for residuated logic ⋮ Propositional calculus under adjointness

This page was built for publication: