Propositional calculus under adjointness

DOI10.1016/S0165-0114(02)00108-2zbMath1029.03012OpenAlexW1968174298MaRDI QIDQ1867660

Nehad N. Morsi

Publication date: 2 April 2003

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0165-0114(02)00108-2

zbMATH Keywords

adjointnessnonclassical logicsadjointness algebras

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25)

Related Items

The logic of tied implications. II. Syntax ⋮ A logical characterization of multi-adjoint algebras ⋮ On good EQ-algebras ⋮ Multi-adjoint algebras versus non-commutative residuated structures ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ Unnamed Item ⋮ Issues on adjointness in multiple-valued logics ⋮ Associatively tied implications. ⋮ Adjoint Triples and Residuated Aggregators ⋮ A small set of axioms for residuated logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topoi. The categorial analysis of logic. Rev. ed
• Fuzzy real numbers as Dedekind cuts with respect to a multiple-valued logic
• Implication in fuzzy logic
• Fuzzy sets and systems. Theory and applications
• Comparison of fuzzy reasoning methods
• On fuzzy implication operators
• Fuzzy sets and residuated logic
• The three semantics of fuzzy sets
• Elements of intuitionistic fuzzy logic. I
• Metamathematics of fuzzy logic
• Algebraic structures in fuzzy logic
• A new look at fuzzy connectives
• Tableau method for residuated logic
• Fuzzy \(T\)-neighbourhood spaces. II: \(T\)-neighbourhood systems
• Associatively tied implications.
• A complete many-valued logic with product-conjunction
• Fuzzy \(T\)-locality spaces
• The logic of inexact concepts
• A small set of axioms for residuated logic
• Fuzzy sets in a approximate reasoning. I: Inference with possibility distributions
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• FUZZY LOGICS AND THE GENERALIZED MODUS PONENS REVISITED
• On Fuzzy Logic I Many‐valued rules of inference
• Foundations of fuzzy reasoning
• Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
• Abstract residuation over lattices
• Residuated Lattices