Pages that link to "Item:Q2440191"
From MaRDI portal
The following pages link to Lattice-valued modal propositional logic based on M-lattice implication algebras (Q2440191):
Displaying 9 items.
- Lattice-valued modal propositional logic and its completeness (Q543066) (← links)
- An implicational logic for orthomodular lattices (Q2979435) (← links)
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice (Q3097868) (← links)
- (Q4306528) (← links)
- (Q4311753) (← links)
- The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1 (Q4598506) (← links)
- (Q4809372) (← links)
- (Q5476245) (← links)
- (Q5483303) (← links)