Pages that link to "Item:Q2350970"
From MaRDI portal
The following pages link to From bi-facial truth to bi-facial proofs (Q2350970):
Displaying 5 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- Bi-facial truth: a case for generalized truth values (Q2016060) (← links)
- (Q4997950) (← links)
- Non-deterministic logic of generalized classical truth values (Q6623947) (← links)