Abstract
We provide a finite axiomatization of the consequence ⊢∧∪⊢∨, i.e. of the set of common sequential rules for ∧ and ∨. Moreover, we show that ⊢∧∪⊢∨ has no proper non-trivial strengthenings other than ⊢∧ and ⊢∨. A similar result is true for ⊢↔∪⊢→, but not, e.g., for ⊢↔∪⊢+.
Similar content being viewed by others
References
G. Grätzer, H. Lakser and J. Płonka, Joins and direct products of equational classes, Can. Math. Bull. 12 (1969), pp. 741–744.
H. Rasiowa, O pewnym fragmencie implikacyjnego rachunku zdań, Studia Logica 3 (1955), pp. 208–226.
W. Rautenberg, 2-element matrices, Studia Logica XL (1981), pp. 315–353.
W. Rautenberg, Consequence relations of 2-element algebras, in Foundations of Logic and Linguistics, Plenum Press, New York, 1985.
Author information
Authors and Affiliations
Additional information
To the memory of Jerzy Słupecki
Rights and permissions
About this article
Cite this article
Rautenberg, W. A calculus for the common rules of ∧ and ∨. Studia Logica 48, 531–537 (1989). https://doi.org/10.1007/BF00370205
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370205