caa a22 4500 465779263 CHVBK 20180323111950.0 cr unu---uuuuu 170327e19900901xx s 000 0 eng 10.1007/BF00370368 doi (NATIONALLICENCE)springer-10.1007/BF00370368 Axiomatization of the De Morgan type rules [Elektronische Daten] [B. Herrmann, W. Rautenberg] In Section 1 we show that the De Morgan type rules (= sequential rules in L(∨, ⌝) which remain correct if ∧ and ∨ are interchanged) are finitely based. Section 2 contains a similar result for L(→). These results are essentially based on special properties of some equational theories. Polish Academy of Sciences, 1990 Herrmann B. Freie Universität Berlin II. Math. Institut, Arnimallee 3, 1000, Berlin 33 aut Rautenberg W. Freie Universität Berlin II. Math. Institut, Arnimallee 3, 1000, Berlin 33 aut Studia Logica Kluwer Academic Publishers 49/3(1990-09-01), 333-343 0039-3215 49:3<333 1990 49 11225 https://doi.org/10.1007/BF00370368 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF00370368 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Herrmann B. Freie Universität Berlin II. Math. Institut, Arnimallee 3, 1000, Berlin 33 aut NATIONALLICENCE 700 1- Rautenberg W. Freie Universität Berlin II. Math. Institut, Arnimallee 3, 1000, Berlin 33 aut NATIONALLICENCE 773 0- Studia Logica Kluwer Academic Publishers 49/3(1990-09-01), 333-343 0039-3215 49:3<333 1990 49 11225 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer