References
A. Grzegorczyk,Zarys logiki matematycznej, second edition, PWN, Warsaw, 1969.
P. Hájek,Automatic listing of important observational statements I, II, III,Kybernetika, vol. 9 (1973), pp 187–205, 251–271 and vol. 10 (1974).
Author information
Authors and Affiliations
Additional information
Allatum est die 10 Aprilis 1974
Rights and permissions
About this article
Cite this article
Chytil, M.K. The decomposition calculus and its semantics. Stud Logica 33, 277–281 (1974). https://doi.org/10.1007/BF02123282
Issue Date:
DOI: https://doi.org/10.1007/BF02123282