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 (10)

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

This page was built for publication: Propositional calculus under adjointness