Pages that link to "Item:Q4647557"
From MaRDI portal
The following pages link to Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices (Q4647557):
Displaying 5 items.
- Binary resolution over Boolean lattices (Q853473) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach (Q2679583) (← links)
- MUltlog 1.0: Towards an expert system for many-valued logics (Q4647516) (← links)
