Pages that link to "Item:Q2856066"
From MaRDI portal
The following pages link to Generalization of Kalmar's method for quasi-matrix logic (Q2856066):
Displaying 4 items.
- On non-deterministic functional completeness (Q6623946) (← links)
- Non-deterministic logic of generalized classical truth values (Q6623947) (← links)
- Tableau systems for some Ivlev-like (quantified) modal logics (Q6623948) (← links)
- Plurivaluationism, semantic nondeterminism and communication (Q6623949) (← links)