Lindner, R.; Wagner, K. Über die Axiomatisierung eines gewissen sequentiellen Aussagenkalküls. (Russian) Zbl 0313.94021 Probl. Kibernetiki 28, 43-80 (1974). Page: −5 −4 −3 −2 −1 ±0 Show Scanned Page MSC: 94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010) 03B05 Classical propositional logic 68Q45 Formal languages and automata PDFBibTeX XMLCite \textit{R. Lindner} and \textit{K. Wagner}, Probl. Kibern. 28, 43--80 (1974; Zbl 0313.94021)