Pages that link to "Item:Q816878"
From MaRDI portal
The following pages link to A 16-classification partition of formula set \(F(S)\) in revised Kleene system \(\overline W\) (Q816878):
Displaying 3 items.
- Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem (Q2267005) (← links)
- Partitions of \(F(S)\) and properties of upgrade algorithms in the logic systems \(\overline W,W,W_k\) (Q2713464) (← links)
- An eighteen-classification partition of the propositional formula set \(F(S)\) based on a revised Gödel operator (Q3054847) (← links)