scientific article; zbMATH DE number 1960700

MaRDI QIDQ4415709zbMATH OpenFDO

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

Publication date 6 August 2003

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

zbMATH Keywords

\(S\)-type implicationsAdjointnessadjointness algebrasNonclassical logicspropositional calculus for adjointness latticesSemanticsSyntax

Mathematics Subject Classification ID

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

Recommendations

• Propositional calculus under adjointness
• The logic of tied implications. II. Syntax
• Issues on adjointness in multiple-valued logics
• Four kinds of implicative operations and adjoint relations on complete lattices.
• Adjointness of fuzzy systems

Cited in

(8)

• Propositional calculus under adjointness
• Adjoint interpretations of sentential calculi
• 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
• On good EQ-algebras
• scientific article; zbMATH DE number 5214898 (Why is no real title available?)
• The logic of tied implications. II. Syntax

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4415709)