A concise method for translating propositional formulae containing the standard truth-functional connectives into a Sheffer stroke equivalent; plus an extension of the method.
Keyword(s):
Keyword(s):
2021 ◽
Vol 29
(1)
◽
pp. 143-164
Keyword(s):
Keyword(s):