Pages that link to "Item:Q1580665"
From MaRDI portal
The following pages link to Commodious axiomatization of quantifiers in multiple-valued logic (Q1580665):
Displaying 7 items.
- On Gentzen relations associated with finite-valued logics preserving degrees of truth (Q368479) (← links)
- Binary resolution over Boolean lattices (Q853473) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- An overview of fuzzy quantifiers. I. Interpretations (Q1292062) (← links)
- Optimal axiomatizations of finitely valued logics (Q1854378) (← links)
- MUltlog 1.0: Towards an expert system for many-valued logics (Q4647516) (← links)
- Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices (Q4647557) (← links)
