Pages that link to "Item:Q2236505"
From MaRDI portal
The following pages link to A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3 (Q2236505):
Displaying 3 items.