Literature Cited
A. Tauts, “A semantic model for infinite formulas,” Tartu Riikl. Ulik. Toim., No. 355, Tr. Mat. Mekh., 7–19 (1975).
A. Tauts, “The connection between semantic models and pseudoboolean algebras,” Tartu Riikl. Ulik. Toim., No. 556, Tr. Mat. Mekh., 3–10 (1981).
A. Tauts, “Semantic interpretation of formulas in generalized Beth models and in pseudoboolean algebras,” Tartu Riikl. Ulik. Toim., No. 305, Tr. Mat. Mekh., 9–20 (1972).
A. Tauts, “Formal derivation of tautological propositions in pseudoboolean algebras,” Tartu Riikl. Ulik. Toim. No. 336, Tr. Mat. Mekh., 3–30 (1974).
Additional information
Tallinn. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 31, No. 1, pp. 150–160, January–February, 1990.
Rights and permissions
About this article
Cite this article
Tauts, A. Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order. Sib Math J 31, 128–136 (1990). https://doi.org/10.1007/BF00971158
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00971158