Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Fuzzy real numbers as Dedekind cuts with respect to a multiple-valued logic
Fuzzy Sets and Systems - Fuzzy Numbers
Fuzzy sets in approximate reasoning, part 1: inference with possibility distributions
Fuzzy Sets and Systems - Special memorial volume on foundations of fuzzy reasoning
On fuzzy implication operators
Fuzzy Sets and Systems
Fuzzy sets and residuated logic
Fuzzy Sets and Systems
Algebraic structures in fuzzy logic
Fuzzy Sets and Systems
A new look at fuzzy connectives
Fuzzy Sets and Systems
Combination of rules or their consequences in fuzzy expert systems
Fuzzy Sets and Systems - Special issue on expert decision support systems
Fuzzy Sets and Systems
Tableau method for residuated logic
Fuzzy Sets and Systems
The three semantics of fuzzy sets
Fuzzy Sets and Systems - Special issue: fuzzy sets: where do we stand? Where do we go?
Elements of intuitionistic fuzzy logic. Part I
Fuzzy Sets and Systems
Fuzzy Sets and Systems: Theory and Applications
Fuzzy Sets and Systems: Theory and Applications
Fuzzy T-neighbourhood spaces: part 2--T-neighbourhood systems
Fuzzy Sets and Systems - Mathematics
A small set of axioms for residuated logic
Information Sciences: an International Journal
Associatively tied implications
Fuzzy Sets and Systems - Theme: Basic concepts
A small set of axioms for residuated logic
Information Sciences: an International Journal
The logic of tied implications, part 1: Properties, applications and representation
Fuzzy Sets and Systems
Fuzzy Sets and Systems
Implication triples versus adjoint triples
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Issues on adjointness in multiple-valued logics
Information Sciences: an International Journal
A comparative study of adjoint triples
Fuzzy Sets and Systems
Hi-index | 0.00 |
we develop a formal system for the class of all implications A and conjunctions K, on partially ordered sets (L, ≤) with top elements 1, such that A and K are related by adjointness and they satisfy the neutrality principle (that is, 1 is their left identity element). We call the resulting logic propositional calculus under adjointness, abbreviated AdjPC.Most algebraic theorems on those (L, ≤), A and K are inequalities in the posets (L, ≤) of truth values. In consequence, we have to find means for abstracting inequalities within syntax; which must be free from partial truth values. This is achieved by employing a further, implication-like adjoint H of A and K, whereby the partial order of (L, ≤) coincides with the binary relation H(•, •) = 1. Accordingly, the semantical domain for AdjPC should become the class of all such quintuples (L, ≤ ,A,K,H), which we call adjointness algebras.Our axiom scheme for AdjPC features seven axioms. However, it may be the case that no finite set of axioms can complete AdjPC if inference is carried out by means of modus ponens (MP) alone. This is because AdjPC is too general; it lacks some basic theorems of the more restricted logics (such as residuated logic and intuitionistic logic). As a result, we have to adopt four inference rules for AdjPC; namely, MP and three bits of the substitution theorem.We deduce enough theorems and inferences in AdjPC to delineate its basic structure. This enables us to establish the completeness of AdjPC for the semantical domain of adjointness algebras; by means of a quotient-algebra structure (a Lindenbaum type of algebra). We also show how certain models can help disprove some incorrect inferences in AdjPC.We end by developing complete syntax (with fewer axioms and inference rules) for the smaller semantical domain of all adjointness algebras whose implications satisfy the exchange principle.