Pages that link to "Item:Q920988"
From MaRDI portal
The following pages link to Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability (Q920988):
Displaying 10 items.
- Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents (Q1176175) (← links)
- \(LT\)-fuzzy sets (Q1197834) (← links)
- Extended hedge algebras and their application to fuzzy logic (Q1311709) (← links)
- Axiomatization and completeness of uncountably valued approximation logic (Q1317906) (← links)
- A partially ordered extension of the integers (Q1893122) (← links)
- Symmetrical Heyting algebras with a finite order type of operators (Q1896756) (← links)
- Heyting algebras with Boolean operators for rough sets and information retrieval applications (Q2478438) (← links)
- The Tableau Method for a Logical System Based on a Finite Poset (Q3647309) (← links)
- Post Algebras in the Work of Helena Rasiowa (Q4611702) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)
