Pages that link to "Item:Q543066"
From MaRDI portal
The following pages link to Lattice-valued modal propositional logic and its completeness (Q543066):
Displaying 11 items.
- Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic (Q2035639) (← links)
- Lattice-valued modal propositional logic based on M-lattice implication algebras (Q2440191) (← links)
- Lattice and metric completions of the classical logic metric space and a comparison1 (Q2987925) (← links)
- Temporal normal form for Linear Temporal Logic formulae1 (Q2988557) (← 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)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- (Q5476245) (← links)
- (Q5483303) (← links)