{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:40Z","timestamp":1761611140640,"version":"3.32.0"},"reference-count":289,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bf00370684","type":"journal-article","created":{"date-parts":[[2004,11,3]],"date-time":"2004-11-03T16:55:22Z","timestamp":1099500922000},"page":"485-569","source":"Crossref","is-referenced-by-count":65,"title":["Algebraization of quantifier logics, an introductory overview"],"prefix":"10.1007","volume":"50","author":[{"given":"Istv\ufffdn","family":"N\ufffdmeti","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Adamek,J. Herrlich,H. and Strecker,G., Abstract and concrete categories, or the joy of cats, John Wiley and Sons (1990)."},{"key":"CR2","unstructured":"Andr\ufffdka,H., Algebraic investigation of first-order logic (in Hungarian), Dissertation with E\ufffdtv\ufffds Lor\ufffdnd Univ. Budapest (1973), ix+162 pp."},{"key":"CR3","unstructured":"Andr\ufffdka,H., Universal Algebraic Logic (in Hungarian), Dissertation with Hung. Acad. Sci. Budapest (1977), 199 pp."},{"issue":"2","key":"CR4","first-page":"174","volume":"10","author":"H. Andr\ufffdka","year":"1989","unstructured":"Andr\ufffdka,H., On the union ? relation composition reducts of relation algebras, Abstracts of Amer. Math. Soc. Issue 62 Vol 10,2 (March 1989), p.174 (*89T-08-21).","journal-title":"Abstracts of Amer. Math. Soc. Issue 62"},{"key":"CR5","volume-title":"On the representation problem of distributive semilattice-ordered semigroups","author":"H. Andr\ufffdka","year":"1989","unstructured":"Andr\ufffdka,H., On the representation problem of distributive semilattice-ordered semigroups. (Extended version), Preprint, Math. Inst. Hungar. Acad. Sci., Budapest, 1989."},{"key":"CR6","unstructured":"Andr\ufffdka,H., Weakly representable but not representable relation algebras, Preprint, Math. Inst. Hungar. Acad. Sci., Budapest, No. 55\/1990 (1990)."},{"key":"CR7","volume-title":"The equational theories of representable positive cylindric and relation algebras are decidable","author":"H. Andr\ufffdka","year":"1990","unstructured":"Andr\ufffdka,H., The equational theories of representable positive cylindric and relation algebras are decidable, Preprint, Math. Inst. Hungar. Acad. Sci., Budapest (1990)."},{"key":"CR8","volume-title":"Thesis for D. Sc. (a post-habilitation degree)","author":"H. Andr\ufffdka","year":"1991","unstructured":"Andr\ufffdka,H., Complexity of the equations valid in algebras of relations, Thesis for D. Sc. (a post-habilitation degree) with Hungar. Acad. Sci., Budapest (1991)."},{"key":"CR9","unstructured":"Andr\ufffdka,H. Comer,S.D. and N\ufffdmeti,I., Epimorphisms in cylindric algebras, Manuscript (1983)."},{"key":"CR10","unstructured":"Andr\ufffdka,H. Gergely,T. and N\ufffdmeti,I., Purely algebraical construction of first order logics, Publications of Central Res. Inst. Physics Budapest KFKI-73-71 (1973), 46pp."},{"key":"CR11","first-page":"86","volume":"75\/4","author":"H. Andr\ufffdka","year":"1975","unstructured":"Andr\ufffdka,H. Gergely,T. and N\ufffdmeti,I., Many-sorted languages and their connections with higher-order languages (in Russian), Kibernetika (Kijev) Vol 75\/4 (1975), 86?92.","journal-title":"Kibernetika (Kijev)"},{"key":"CR12","first-page":"63","volume":"24","author":"H. Andr\ufffdka","year":"1975","unstructured":"Andr\ufffdka,H. Gergely,T. and N\ufffdmeti,I., On some questions of languages of order n (in Hungarian), Matematikai Lapok Vol 24 (1975), 63?94.","journal-title":"Matematikai Lapok"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF02121113","volume":"36","author":"H. Andr\ufffdka","year":"1977","unstructured":"Andr\ufffdka,H. Gergely,T. and N\ufffdmeti,I., On universal algebraic construction of logics, Studia Logica Vol 36 (1977), 9?47.","journal-title":"Studia Logica"},{"key":"CR14","unstructured":"Andr\ufffdka,H. Givant,S. and N\ufffdmeti,I., The lattice of varieties of representable algebras, Preprint (1990), Submitted."},{"issue":"1","key":"CR15","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0890-5401(87)90049-6","volume":"72","author":"H. Andr\ufffdka","year":"1987","unstructured":"Andr\ufffdka,H. Guessarian,I. and N\ufffdmeti,I., A unifying theorem for algebraic semantics and dynamic logics, Information and Computation Vol 72,1 (1987), 31?45.","journal-title":"Information and Computation"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF01191089","volume":"29","author":"H. Andr\ufffdka","year":"1991","unstructured":"Andr\ufffdka,H. J\ufffdnsson,B. and N\ufffdmeti,I., Free algebras in discriminator varieties, Algebra Universalis, Vol 29 (1991), 401?447. Abstracted in [BMP], 1?14 (1990).","journal-title":"Algebra Universalis"},{"key":"CR17","unstructured":"Andr\ufffdka,H. J\ufffdnsson,B. and N\ufffdmeti,I., Bibliography on Boolean algebras with operator's (in preparation)."},{"key":"CR18","first-page":"v+746","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","year":"1991","unstructured":"Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), v+746 pp."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/BF02485226","volume":"5","author":"H. Andre\ufffd","year":"1975","unstructured":"Andre\ufffd,H. and N\ufffdmeti,I., A simple purely algebraic proof of the completeness of some first order logics, Algebra Universalis Vol 5 (1975), 8?15.","journal-title":"Algebra Universalis"},{"key":"CR20","unstructured":"Andr\ufffdka,H. and N\ufffdmeti,I., Generalization of variety and quasivariety concepts to partial algebras through category theory, Dissertationes Mathematicae (Rozprawy Math.) PWN Polish Scientific Publisher, Warsaw, Poland Vol CCIV (1982), 1?56."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF02483086","volume":"11","author":"H. Andr\ufffdka","year":"1980","unstructured":"Andr\ufffdka,H. and N\ufffdmeti,I., On systems of varieties definable by schemes of equations, Algebra Universalis Vol 11 (1980), 105?116.","journal-title":"Algebra Universalis"},{"key":"CR22","volume-title":"Applications of universal algebra, algebraic logic etc. in Computer Science Parts I?V","author":"H. Andr\ufffdka","year":"1977?1986","unstructured":"Andr\ufffdka,H. and N\ufffdmeti,I., Applications of universal algebra, algebraic logic etc. in Computer Science Parts I?V, Preprints, Math. Inst. Hungar. Acad. Sci., Budapest (partially published at various places) (1977?1986)."},{"key":"CR23","volume-title":"Relational algebraic conditions for representability of cylindric and polyadic algebras","author":"H. Andr\ufffdka","year":"1988","unstructured":"Andr\ufffdka,H. and N\ufffdmeti,I., Relational algebraic conditions for representability of cylindric and polyadic algebras, Preprint, Math. List. Hungar. Acad. Sci., Budapest, 1988 (submitted), 46pp."},{"key":"CR24","unstructured":"Andr\ufffdka,H. N\ufffdmeti,I. and Sain,I., Abstract model theoretic approach to algebraic logic, Manuscript (1984), 70pp."},{"issue":"No 2","key":"CR25","doi-asserted-by":"crossref","first-page":"577","DOI":"10.2307\/2274648","volume":"55","author":"H. Andr\ufffdka","year":"1990","unstructured":"Andr\ufffdka,H. N\ufffdmeti,I. and Thompson,R.J., Weak cylindric set algebras and weak subdirect indecomposability, J. Symbolic Logic Vol 55, No 2 (June 1990), 577?588.","journal-title":"J. Symbolic Logic"},{"key":"CR26","unstructured":"Andre\ufffd,H. and Sain,I., Connections between initial algebra semantics of CF languages and algebraic logic, Mathematical Logic in Computer Science (Proc. Conf. Salg\ufffdtarj\ufffdn Hungary 1978) (Ed.s: D\ufffdm\ufffdlki,B. and Gergely,T.) Colloq. Math. Soc. J. Bolyai Vol 26, North-Holland, Amsterdam (1981), 25?83."},{"issue":"2","key":"CR27","first-page":"671","volume":"309","author":"H. Andr\ufffdka","year":"1988","unstructured":"Andr\ufffdka,H. Thompson,R.J., A Stone-type representation theorem for algebras of relations of higher rank, Trans. Amer. Math. Soc. Vol 309,2 (Oct. 1988), 671?682.","journal-title":"Trans. Amer. Math. Soc."},{"issue":"6","key":"CR28","first-page":"500","volume":"9","author":"H. Andr\ufffdka","year":"1988","unstructured":"Andr\ufffdka,H. and Tuza,Zs., Nonfinite axiomatizability of the polyadic operations in algebraic logic, Abstracts of Amer. Math. Soc. Vol 9,6, Issue 60 (Nov. 1988), 500 (*88T-03-264).","journal-title":"Abstracts of Amer. Math. Soc."},{"key":"CR29","first-page":"1","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"I.H. An\ufffdllis","year":"1991","unstructured":"An\ufffdllis,I.H. and Houser,N., The nineteenth century roots of universal algebra and algebraic logic: A critical-bibliographical guide for the comtemporary logician, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 1?36."},{"key":"CR30","first-page":"199","volume":"278","author":"J.-P. Barthelemy","year":"1974","unstructured":"Barthelemy,J.-P., Syntaxes et cat\ufffdgories monadiques, C. R. Acad. Sci. Paris Vol 278 (1974), 199?202.","journal-title":"C. R. Acad. Sci. Paris"},{"key":"CR31","volume-title":"Perspectives in Mathematical Logic","author":"J. Barwise","year":"1975","unstructured":"Barwise,J., Admissible Sets and Structures., Perspectives in Mathematical Logic, Springer-Verlag, Berlin (1975)."},{"key":"CR32","doi-asserted-by":"crossref","first-page":"903","DOI":"10.2307\/2273980","volume":"50","author":"J. Bacon","year":"1985","unstructured":"Bacon,J., The completeness of a predicate-functor logic, Journal of Symbolic Logic Vol 50 (1985), 903?926.","journal-title":"Journal of Symbolic Logic"},{"volume-title":"Model-Theoretic Logics","year":"1985","key":"CR33","unstructured":"Barwise,J. and Feferman,S. (ed.s), Model-Theoretic Logics, Springer-Verlag, Berlin (1985)."},{"key":"CR34","series-title":"56","first-page":"33","volume-title":"Fundamentals of Computation Theory'77","author":"A.R. Bednarek","year":"1977","unstructured":"Bednarek,A.R. and Ulam,S.M., Some remarks on relational composition in computational theory and practice, Fundamentals of Computation Theory'77, Lecture Notes in Computer Science Vol 56, Springer-Verlag, Berlin (1977), 33?38."},{"key":"CR35","volume-title":"Models and Ultraproducts","author":"J.L. Bell","year":"1969","unstructured":"Bell,J.L. and Slomson,A.B., Models and Ultraproducts, North-Holland, Amsterdam (1969)."},{"key":"CR36","doi-asserted-by":"crossref","unstructured":"van Benthem,J., Semantic Parallels in Natural Language and Computation, Institute for Language, Logic and Information, University of Amsterdam (1988), 53pp.","DOI":"10.1016\/S0049-237X(08)70133-2"},{"key":"CR37","unstructured":"van Benthem,J., Language in Action, (Categories, Lambdas and Dynamic Logic), North-Holland (Studies in Logic ... Vol 130) (1991), x+350 pp."},{"key":"CR38","unstructured":"van Benthem,J., Modal logic and relational algebra, Preprint, Institute for Language, Logic and Information, University of Amsterdam, Proc. Malcev Conference, Inst. Math. USSR, Academy of Sciences, Novsibirsk, to appear (1989)."},{"key":"CR39","unstructured":"van Benthem,J., General dynamics, Report LP-90-11, Institute for Language, Logic and Information, University of Amsterdam, to appear in Theoretical Linguistics (1990)."},{"key":"CR40","unstructured":"van Benthem,J., Modal logic as a theory of information, Proc. Prior Memorial Colloquium, Christchurch, New Zealand, 1989, Oxford University Press (to appear)."},{"key":"CR41","first-page":"37","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"R. Berghammer","year":"1991","unstructured":"Berghammer,R. Kempf,P. Schmidt,G. and Str\ufffdhlein,T., Relation algebra and logic of programs, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 37?58."},{"key":"CR42","doi-asserted-by":"crossref","unstructured":"Bergman,C.H. Maddux,R.D. and Pigozzi,D.L. (eds.), Algebraic Logic and Universal Algebra in Computer Science, Lecture Notes in Computer Science, Springer Verlag Vol 425 (1990), xi+292 p.","DOI":"10.1007\/BFb0043074"},{"issue":"3","key":"CR43","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1305\/ndjfl\/1093637933","volume":"29","author":"C. Bernardi","year":"1988","unstructured":"Bernardi,C. and D'Aquino,P., Topological duality for diagonalizable algebras, Notre Dame J. Formal Logic Vol 29,3 (1988), 345?364.","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR44","volume-title":"Dissertation","author":"A. Bernarducci","year":"1989","unstructured":"Bernarducci,A., The interpretability logic of Peano arithmetic, Dissertation, University of California, Berkeley (1989)."},{"key":"CR45","unstructured":"Bernarducci,A., ?n\/0-interpretations of modal logic, Bolletino della Unione Matematica Italiana (to appear)."},{"key":"CR46","first-page":"1","volume-title":"Constructivity in mathematics","author":"P. Bernays","year":"1959","unstructured":"Bernays,P., \ufffdber eine nat\ufffdrliche Erweiterung des Relationenkalk\ufffdls, Constructivity in mathematics (Proc. Coll. Amsterdam 1957) (ed. Heyting,A.), North-Holland, Amsterdam (1959), 1?14."},{"key":"CR47","doi-asserted-by":"crossref","unstructured":"Bir\ufffd, B., Non-finite-axiomatizability results in algebraic logic, J. of Symbolic Logic, Vol 57,2 (1992).","DOI":"10.2307\/2275434"},{"issue":"No 3","key":"CR48","doi-asserted-by":"crossref","first-page":"846","DOI":"10.2307\/2274576","volume":"53","author":"B. Bir\ufffd","year":"1988","unstructured":"Bir\ufffd,B. and Shelah,S., Isomorphic but not lower-base-isomorphic cylindric set algebras, J. of Symbolic Logic Vol 53, No 3 (Sept. 1988), 846?853.","journal-title":"J. of Symbolic Logic"},{"key":"CR49","unstructured":"Blok,W.J., Varieties of interior algebras, Dissertation, University of Amsterdam (1976)."},{"key":"CR50","first-page":"150","volume":"11","author":"W.J. Blok","year":"1980","unstructured":"Blok,W.J., The lattice of varieties of modal algebras is not strongly atomic, Algebra Universalis Vol 11 (1980), 150?194.","journal-title":"Algebra Universalis"},{"key":"CR51","doi-asserted-by":"crossref","first-page":"221","DOI":"10.2307\/2273184","volume":"45","author":"W.J. Blok","year":"1980","unstructured":"Blok,W.J., The lattice of modal logics: An algebraic investigation, J. Symbolic Logic Vol 45 (1980), 221?238.","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"CR52","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1017\/S0022481200028917","volume":"53","author":"W.J. Blok","year":"1988","unstructured":"Blok,W.J. and Pigozzi,D., Alfred Tarski's work on general metamathematics, J. Symbolic Logic Vol 53, 1 (1988), 36?48.","journal-title":"J. Symbolic Logic"},{"key":"CR53","first-page":"vi+78","volume":"77","author":"W.J. Blok","year":"1989","unstructured":"Blok,W.J. and Pigozzi,D., Algebraizable logics, Memoirs Amer. Math. Soc. Vol 77, 396 (1989), vi+78 pp.","journal-title":"Memoirs Amer. Math. Soc."},{"key":"CR54","unstructured":"Blok,W.J. and Pigozzi,D., On the structure of varieties with equationally definable principal congruences, Part III, Preprint, 1989."},{"key":"CR55","unstructured":"Blok,W.J. and Pigozzi,D., On the structure of varieties with equationally definable principal congruences, Part IV, Preprint, 1989."},{"key":"CR56","unstructured":"Blok,W.J. and Pigozzi,D., The deduction theorem in algebraic logic, Preprint, 1989."},{"key":"CR57","first-page":"75","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"W.J. Blok","year":"1991","unstructured":"Blok,W.J. and Pigozzi,D., Local Deduction Theorems in Algebraic Logic, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 75?109."},{"key":"CR58","unstructured":"B\ufffdrner,F., Operationen auf Relationen, Dissertation Dr. rer. nat., Karl-Marx-Universit\ufffdt Leipzig (1988)."},{"key":"CR59","first-page":"43","volume":"CII","author":"S.L. Bloom","year":"1973","unstructured":"Bloom,S.L. and Brown,D.J., Classical abstract logics, Dissertationes Mathematicae (Rozprawy Matematyczne) Vol CII (1973), 43?56.","journal-title":"Dissertationes Mathematicae (Rozprawy Matematyczne)"},{"key":"CR60","first-page":"3","volume":"2","author":"D.A. Bredikhin","year":"1977","unstructured":"Bredikhin,D.A., Abstract characteristics of some relation algebras (in Russian), Algebra and Theory of Numbers (Nalchik) Vol 2 (1977), 3?19.","journal-title":"Algebra and Theory of Numbers"},{"key":"CR61","volume-title":"Dissertation","author":"D.A. Bredikhin","year":"1977","unstructured":"Bredikhin,D.A., Multiplicative algebra of relations (in Russian), Dissertation, Saratov State University, Saratov, USSR (1977)."},{"issue":"1","key":"CR62","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF00370636","volume":"XLVIII","author":"C. Brink","year":"1988","unstructured":"Brink,C., R ?-Algebras and R ?-Model Structures as Power Constructs, Studia Logica Vol XLVIII, 1 (1988), 85?109.","journal-title":"Studia Logica"},{"key":"CR63","first-page":"9","volume":"CII","author":"D.J. Brown","year":"1973","unstructured":"Brown,D.J. and Suszko,R., Abstract logics, Dissertationes Mathematicae (Rozprawy Matematyczne) Vol CII (1973), 9?41.","journal-title":"Dissertationes Mathematicae (Rozprawy Matematyczne)"},{"key":"CR64","doi-asserted-by":"crossref","DOI":"10.1515\/9783112720875","volume-title":"A Model Theoretic Oriented Approach to Partial Algebras","author":"P. Burmeister","year":"1986","unstructured":"Burmeister,P., A Model Theoretic Oriented Approach to Partial Algebras, Akademie-Verlag, Berlin (1986)."},{"key":"CR65","volume-title":"Graduate Texts in Mathematics","author":"S. Burris","year":"1981","unstructured":"Burris,S. and Sankappanavar,H.P., A course in universal algebra, Graduate Texts in Mathematics, Springer-Verlag, New York (1981)."},{"key":"CR66","unstructured":"Catach,L., Normal multimodal logics, Proc. 7th Nat. Conf. on AI (AAAI'88) St. Paul, Minnesota (1988), 491-495."},{"key":"CR67","first-page":"131","volume-title":"Algebra and Discrete Mathematics","author":"J. Cirulis","year":"1986","unstructured":"Cirulis,J., An abstract description of data types and of varieties of data algebras (in Russian), Algebra and Discrete Mathematics, Latvian University, Riga (1986), 131?144."},{"issue":"1","key":"CR68","first-page":"2","volume":"15","author":"J. Cirulis","year":"1986","unstructured":"Cirulis,J., Generalizing the notion of polyadic algebra, Bull. Section of Logic Vol 15,1 (1986), 2?9.","journal-title":"Bull. Section of Logic"},{"key":"CR69","unstructured":"Cirulis,J., Two generalizations of the notion of a polyadic algebra. (In Russian.), Izv. Vyss. Uchebn. Zaved. Mat., No 12 (1988), 39?49."},{"key":"CR70","first-page":"100","volume-title":"Theoretical Questions of Programming","author":"J. Cirulis","year":"1988","unstructured":"Cirulis,J., Relational algebras in databases and generalized cylindric algebras. (In Russian.), Theoretical Questions of Programming, Latvian University, Riga (1988), 100?107."},{"key":"CR71","first-page":"125","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"J. Cirulis","year":"1991","unstructured":"Cirulis,J., An algebraization of first-order logic with terms, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 125?146."},{"key":"CR72","volume-title":"Universal Algebra","author":"P.M. Cohn","year":"1965","unstructured":"Cohn,P.M., Universal Algebra, Harper and Row, New York (1965)."},{"key":"CR73","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1090\/S0002-9947-1972-0307908-3","volume":"169","author":"S.D. Comer","year":"1972","unstructured":"Comer,S.D., A sheaf-theoretic duality for cylindric algebras, Trans. Amer. Math. Soc. Vol 169 (1972), 75?87.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR74","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1090\/S0002-9947-1984-0760986-8","volume":"286","author":"S.D. Comer","year":"1984","unstructured":"Comer,S.D., Galois-theory of cylindric algebras and its applications, Trans. Amer. Math. Soc. Vol 286 (1984), 771?785.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR75","first-page":"147","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"S.D. Comer","year":"1991","unstructured":"Comer,S.D., The representation of dimension three cylindric algebras, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 147?172."},{"key":"CR76","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/BF01190418","volume":"28","author":"S.D. Comer","year":"1991","unstructured":"Comer,S.D., A remark on representable positive cylindric algebras, Algebra Universalis Vol 28 (1991), 150?151.","journal-title":"Algebra Universalis"},{"key":"CR77","doi-asserted-by":"crossref","unstructured":"Cosmadakis,S.S., Database theory and cylindric lattices (extended abstract), Foundations of Computer Science (Proc. Conf. 1987), IEEE Computer Soc.","DOI":"10.1109\/SFCS.1987.17"},{"key":"CR78","volume-title":"Logic in Algebraic Form","author":"W. Craig","year":"1974","unstructured":"Craig,W., Logic in Algebraic Form, North-Holland, Amsterdam (1974), viii+204pp."},{"key":"CR79","unstructured":"Craig,W., Unification and abstraction in algebraic logic, Studies in Algebraic Logic, Math. Assoc. Amer. (1974), 6?57."},{"key":"CR80","doi-asserted-by":"crossref","first-page":"795","DOI":"10.2307\/2274743","volume":"54","author":"W. Craig","year":"1989","unstructured":"Craig,W., Near-equational and equational systems of logic for partial functions, J. Symbolic Logic Vol 54 (1989), 795?827, 1181?1215.","journal-title":"J. Symbolic Logic"},{"issue":"2","key":"CR81","doi-asserted-by":"crossref","first-page":"289","DOI":"10.2307\/2964289","volume":"23","author":"W. Craig","year":"1958","unstructured":"Craig,W. and Vaught,R.L., Finite axiomatizability using additional predicates, J. of Symbolic Logic Vol 23,2 (1958), 289?308.","journal-title":"J. of Symbolic Logic"},{"issue":"1","key":"CR82","first-page":"7","volume":"8","author":"J. Czelakowski","year":"1979","unstructured":"Czelakowski,J., A purely algebraic proof of the omitting types theorem, Bull. Section of Logic Vol 8,1 (1979), 7?9.","journal-title":"Bull. Section of Logic"},{"key":"CR83","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1090\/S0002-9947-1964-0162741-6","volume":"112","author":"A. Daigneault","year":"1964","unstructured":"Daigneault,A., On automorphisms of polyadic algebras, Trans. Amer. Math. Soc. Vol 112 (1964), 84?130.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR84","unstructured":"Daigneault,A., Th\ufffdorie des mod\ufffdles en logique math\ufffdmatique, 2-\ufffdme \ufffdd. Montreal (1967), 136pp."},{"key":"CR85","doi-asserted-by":"crossref","first-page":"307","DOI":"10.4064\/fm-66-3-307-328","volume":"66","author":"A. Daigneault","year":"1969","unstructured":"Daigneault,A., Lawvere's elementary theories and polyadic and cylindric algebras, Fund. Math. Vol 66 (1969), 307?328.","journal-title":"Fund. Math."},{"key":"CR86","doi-asserted-by":"crossref","first-page":"151","DOI":"10.4064\/fm-52-2-151-176","volume":"52","author":"A. Daigneault","year":"1963","unstructured":"Daigneault. A. and Monk,J.D., Representation theory for polyadic algebras, Fund.Math. Vol 52 (1963), 151?176.","journal-title":"Fund.Math."},{"key":"CR87","doi-asserted-by":"crossref","first-page":"646","DOI":"10.2307\/2272408","volume":"37","author":"D. Demaree","year":"1972","unstructured":"Demaree,D., Copeland algebras, J. Symbolic Logic Vol 37 (1972), 646?656.","journal-title":"J. Symbolic Logic"},{"key":"CR88","first-page":"331","volume":"10","author":"A. Morgan De","year":"1964","unstructured":"De Morgan,A., On the syllogism, no. IV, and on the logic of relations, Transactions of the Cambridge Philosophical Society Vol 10 (1964), 331?358.","journal-title":"Transactions of the Cambridge Philosophical Society"},{"key":"CR89","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1080\/01445348408837062","volume":"5","author":"R. Dipert","year":"1984","unstructured":"Dipert,R., Pe\ufffdrce, Frege, the logic of relations, and Church's theorem, History and Philosophy of Logic Vol 5 (1984), 49?66.","journal-title":"History and Philosophy of Logic"},{"key":"CR90","unstructured":"Driessel,K., Significance and invariance in mathematical structures, Doctoral Dissertation, Oregon State University (1968), vii+80pp."},{"key":"CR91","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1075\/llsee.25.17dos","volume-title":"Categorial Grammar","author":"K. Do?en","year":"1988","unstructured":"Do?en,K., Second-order logic without variables, In: Categorial Grammar (eds: W. Buszkowski, W. Marciszewski and J. van Benthem) Linguistic & Literary Studies in Eastern Europe, Amsterdam (1988), 245?264."},{"key":"CR92","unstructured":"D\ufffdntsch,I., Cylindric algebras and Codd's relational model of data (Part I), Preprint, University of Brunei, Darussalam, Negara Brunei, Dept. Math., Dec. 1989."},{"key":"CR93","volume-title":"Fundamentals of algebraic specification 1, EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"Ehrig,H. and Mahr,B., Fundamentals of algebraic specification 1, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin (1985)."},{"issue":"2","key":"CR94","doi-asserted-by":"crossref","first-page":"865","DOI":"10.2307\/2274669","volume":"55","author":"N. Feldman","year":"1990","unstructured":"Feldman,N., Cylindric algebras with terms, J. Symbolic Logic Vol 55, 2 (1990), 865?866.","journal-title":"J. Symbolic Logic"},{"issue":"No 4","key":"CR95","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1007\/BF01188993","volume":"27","author":"M. Ferenczi","year":"1990","unstructured":"Ferenczi,M., On inducing homomorphisms between relation set algebras, Algebra Universalis Vol 27, No 4 (1990), 474?479.","journal-title":"Algebra Universalis"},{"key":"CR96","first-page":"173","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"M. Ferenczi","year":"1991","unstructured":"Ferenczi,M., Measures defined on free products of formula algebras and analogies with cylindric homomorphisms, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 173?181."},{"key":"CR97","first-page":"129","volume-title":"Contributions to General Algebra 5","author":"J.M. Font","year":"1987","unstructured":"Font,J.M., On some congruence lattices of a topological Heyting lattice, In: Contributions to General Algebra 5 (J. Czermak et al., editors), Verlag H\ufffdlderPichler-Tempski, Wien, and Teubner, Stuttgart (1987), 129?137."},{"issue":"No 3","key":"CR98","doi-asserted-by":"crossref","first-page":"1042","DOI":"10.2307\/2274764","volume":"54","author":"J.M. Font","year":"1989","unstructured":"Font,J.M. and Verd\ufffd,V., A first approach to abstract modal logics, J. Symbolic Logic Vol 54, No 3 (1989), 1042?1062.","journal-title":"J. Symbolic Logic"},{"key":"CR99","first-page":"183","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"J.M. Font","year":"1991","unstructured":"Font,J.M. and Verd\ufffd,V., On some non-algebraizable logics, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 183?188."},{"key":"CR100","unstructured":"Font,J.M. and Verd\ufffd,V., Abstract logics related to classical conjunction and disjunction, Studia Logica (to appear)."},{"key":"CR101","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1002\/malq.19760220162","volume":"22","author":"J. Freeman","year":"1976","unstructured":"Freeman,J., Algebraic semantics for modal predicate logic, Z. Math. Logik Grundl. Math. Vol 22 (1976), 523?552.","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"CR102","unstructured":"Freyd,P.J. and Scedrov,A., Categories, Allegories, North-Holland (1990), xviii-294 pp."},{"key":"CR103","unstructured":"Gargov,G. and Passy,S., A note on Boolean modal logic, In: Mathematical Logic (ed. P.Petrov), Proc. of the 1988 Summer School & Conference dedicated to Arend Heyting, Chaika, Bulgaria, Plenum Press (New York & London) (to appear)."},{"key":"CR104","unstructured":"Geiger,D., Algebras of binary relations, Preprint, 1987."},{"key":"CR105","first-page":"121","volume":"78","author":"G. Georgescu","year":"1973","unstructured":"Georgescu,G., The theory of categories and mathematical logic, Gaz.Mat. Ser.A. Vol 78 (1973), 121?125.","journal-title":"Gaz.Mat. Ser.A."},{"key":"CR106","first-page":"49","volume":"23","author":"G. Georgescu","year":"1979","unstructured":"Georgescu,G., Modal polyadic algebras, Bull. Math. Soc. Math. R.S. Roumanie (N.S.) Vol 23 (1979), 49?64.","journal-title":"Bull. Math. Soc. Math. R.S. Roumanie (N.S.)"},{"key":"CR107","first-page":"131","volume":"21","author":"G. Georgescu","year":"1979","unstructured":"Georgescu,G., A representation theorem for tense polyadic algebras, Mathematica (Cluj) Vol 21 (1979), 131?138.","journal-title":"Mathematica (Cluj)"},{"key":"CR108","first-page":"125","volume":"34","author":"G. Georgescu","year":"1982","unstructured":"Georgescu,G., Monotone quantifiers on polyadic algebras, Stud. Cerc. Mat. Vol 34 (1982), 125?145.","journal-title":"Stud. Cerc. Mat."},{"key":"CR109","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1002\/malq.19820282706","volume":"28","author":"G. Georgescu","year":"1982","unstructured":"Georgescu,G., Algebraic analysis of the topological logic L(I), Z. Math. Logik Grundl. Math. Vol 28 (1982), 447?454.","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"CR110","first-page":"307","volume":"5","author":"T. Gergely","year":"1980","unstructured":"Gergely,T., Algebraic representation of language hierarchies, Acta Cybernetica Vol 5 (1980), 307?323.","journal-title":"Acta Cybernetica"},{"key":"CR111","unstructured":"Givant,S., Locally small relation algebras, Abstracts of AMS (1988)."},{"key":"CR112","first-page":"189","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"S. Givant","year":"1991","unstructured":"Givant,S., Tarski's development of logic and mathematics based on the calculus of relations, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 189?215."},{"key":"CR113","unstructured":"Givant,S., Relation algebras generated by relativized subalgebras, Abstracts of AMS (1989)."},{"key":"CR114","unstructured":"Givant,S. Andr\ufffdka,H. and N\ufffdmeti,I., Essentially infinite varieties of relation algebras, Abstracts of AMS Vol 11, Issue 67, No 2, 90-08-45 (1990)."},{"key":"CR115","first-page":"41","volume":"6?7","author":"R.I Goldblatt","year":"1976","unstructured":"Goldblatt,R.I, Metamathematics of modal logic. Parts I?II, In: Reports on Mathematical Logic Vol 6?7 (1976), 41?78 and 21?52.","journal-title":"Reports on Mathematical Logic"},{"key":"CR116","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/BF00370431","volume":"XLIV\/4","author":"R.I. Goldblatt","year":"1985","unstructured":"Goldblatt,R.I., An algebraic study of well-foundedness, Studia Logica Vol XLIV\/4 (1985), 423?438.","journal-title":"Studia Logica"},{"key":"CR117","unstructured":"Goldblatt,R.I., Logics of Time and Computation, CSLI Lecture Notes No. 7, Stanford (1987)."},{"key":"CR118","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","volume":"44","author":"R.I Goldblatt","year":"1990","unstructured":"Goldblatt,R.I, Varieties of complex algebras, Annals of Pure and Appl. Logic Vol 44 (1990), 173?242.","journal-title":"Annals of Pure and Appl. Logic"},{"key":"CR119","first-page":"217","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"R.I. Goldblatt","year":"1991","unstructured":"Goldblatt,R.I., On closure under canonical embedding algebras, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 217?229."},{"issue":"No 3","key":"CR120","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/BF00394448","volume":"XLIV","author":"V. Goranko","year":"1985","unstructured":"Goranko,V., The Craig Interpolation Theorem for Prepositional Logics with Strong Negation, Studia Logica Vol XLIV, No 3 (1985), 291?317.","journal-title":"Studia Logica"},{"issue":"No 1","key":"CR121","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1305\/ndjfl\/1093635335","volume":"31","author":"V. Goranko","year":"1990","unstructured":"Goranko,V., Modal definability in enriched languages, Notre Dame J. Formal Logic Vol 31, No 1 (1990), 81?105.","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR122","unstructured":"Goranko,V. and Passy,S., Using the universal modality: Profits and questions, Preprint of Sector of Logic, Faculty of Math., Sofia University, 1989."},{"key":"CR123","unstructured":"Guesgen,H.W. and Ladkin,P.B., An algebraic approach to general Boolean constraint problems, Kestrel Institute (Febr. 1990), 1?15."},{"key":"CR124","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1073\/pnas.40.5.296","volume":"40","author":"P.R. Halmos","year":"1954","unstructured":"Halmos,P.R., Polyadic Boolean algebras, Proc. Nat. Acad. Sci. U.S.A. Vol 40 (1954), 296?301.","journal-title":"Proc. Nat. Acad. Sci. U.S.A."},{"key":"CR125","unstructured":"Halmos,P.R., Polyadic algebras, Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, second edition, Communications Research Division, Institute for Defense Analyses (1960), 252?255."},{"key":"CR126","volume-title":"Algebraic Logic","author":"P.R. Halmos","year":"1962","unstructured":"Halmos,P.R., Algebraic Logic, Chelsea Publ. Co., New York (1962), 271pp."},{"key":"CR127","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1084-9","volume-title":"I Want to be a Mathematician. An Automathography","author":"P.R. Halmos","year":"1985","unstructured":"Halmos,P.R., I Want to be a Mathematician. An Automathography, Springer-Verlag, Berlin (1985)."},{"key":"CR128","doi-asserted-by":"crossref","first-page":"723","DOI":"10.2140\/pjm.1970.32.723","volume":"22","author":"L. Henkin","year":"1970","unstructured":"Henkin,L., Extending Boolean operations, Pac. J. Math. Vol 22 (1970), 723?752.","journal-title":"Pac. J. Math."},{"key":"CR129","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1090\/pspum\/025\/0376346","volume":"25","author":"L. Henkin","year":"1974","unstructured":"Henkin,L. and Monk,J.D., Cylindric algebras and related structures, Proc. Tarski Symp., Amer. Math. Soc. Vol 25 (1974), 105?121.","journal-title":"Proc. Tarski Symp., Amer. Math. Soc."},{"key":"CR130","volume-title":"Cylindric Algebras Part I","author":"L. Henkin","year":"1971","unstructured":"Henkin,L. Monk,J.D. and Tarski,A., Cylindric Algebras Part I, North-Holland, Amsterdam (1971 and 1985)."},{"key":"CR131","volume-title":"Cylindric Algebras Part II","author":"L. Henkin","year":"1985","unstructured":"Henkin,L. Monk,J.D. and Tarski,A., Cylindric Algebras Part II, North-Holland, Amsterdam (1985)."},{"key":"CR132","first-page":"vi+323","volume-title":"Lecture Notes in Mathematics Vol 883","author":"L. Henkin","year":"1981","unstructured":"Henkin,L. Monk,J.D. Tarski,A. Andr\ufffdka,H. and N\ufffdmeti,I., Cylindric Set Algebras, Lecture Notes in Mathematics Vol 883, Springer-Verlag, Berlin (1981), vi+323pp."},{"key":"CR133","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1016\/0022-0000(80)90007-0","volume":"20","author":"M. Hennessey","year":"1980","unstructured":"Hennessey,M., A proof system for the first-order relational calculus, J. Computer and System Sciences Vol 20 (1980), 96?110.","journal-title":"J. Computer and System Sciences"},{"key":"CR134","doi-asserted-by":"crossref","first-page":"217","DOI":"10.3233\/FI-1986-9205","volume":"9","author":"C.A.R. Hoare","year":"1986","unstructured":"Hoare,C.A.R. and Jifeng,He., The weakest prespecification, Part II, Fundamenta Informaticae Vol 9 (1986), 217?252.","journal-title":"Fundamenta Informaticae"},{"key":"CR135","volume-title":"Doctoral Dissertation","author":"C.M. Howard","year":"1965","unstructured":"Howard,C.M., An approach to algebraic logic, Doctoral Dissertation, University of California, Berkeley (1965), 83pp."},{"key":"CR136","first-page":"A","volume":"24","author":"E. Howorka","year":"1977","unstructured":"Howorka,E., Generators for algebras of relations, Notices of the Amer. Math. Soc. Vol 24 (1977), A-4, A-5.","journal-title":"Notices of the Amer. Math. Soc."},{"key":"CR137","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1016\/0022-0000(84)90077-1","volume":"28","author":"R. Imieli?ski","year":"1984","unstructured":"Imieli?ski,R. and Lipski,W., The relational model of data and cylindric algebras, J. Computer and System Sciences Vol 28 (1984), 80?103.","journal-title":"J. Computer and System Sciences"},{"key":"CR138","unstructured":"Immerman,N. and Kozen,D., Definability with bounded number of variables, Proc. IEEE (1987), 891?939."},{"key":"CR139","doi-asserted-by":"crossref","first-page":"344","DOI":"10.2307\/2270901","volume":"34","author":"J.S. Johnson","year":"1969","unstructured":"Johnson,J.S., Nonfinitizability of classes of representable polyadic algebras J. Symbolic Logic Vol 34 (1969), 344?352.","journal-title":"J. Symbolic Logic"},{"key":"CR140","doi-asserted-by":"crossref","first-page":"576","DOI":"10.2307\/2271983","volume":"38","author":"J.S. Johnson","year":"1973","unstructured":"Johnson,J.S., Axiom systems for logic with finitely many variables, J. Symbolic Logic Vol 38 (1973), 576?578.","journal-title":"J. Symbolic Logic"},{"key":"CR141","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF02483728","volume":"15","author":"B. J\ufffdnsson","year":"1982","unstructured":"J\ufffdnsson,B., Varieties of relation algebras, Algebra Universalis Vol 15 (1982), 273?298.","journal-title":"Algebra Universalis"},{"key":"CR142","first-page":"245","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"B. J\ufffdnsson","year":"1991","unstructured":"J\ufffdnsson,B., The theory of binary relations, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 245?292."},{"key":"CR143","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1090\/conm\/033\/767117","volume-title":"Contributions to Group Theory: Papers published in honor of Roger Lyndon on his sixty-fifth birthday, Contemporary Mathematics","author":"B. J\ufffdnsson","year":"1984","unstructured":"J\ufffdnsson,B., Maximal algebras of binary relations, In: Contributions to Group Theory: Papers published in honor of Roger Lyndon on his sixty-fifth birthday, Contemporary Mathematics, Amer. Math. Soc., Providence Vol 33 (1984), 299?307."},{"key":"CR144","first-page":"2","volume-title":"Proceedings of the NIH Conference on Universal Algebra and Lattice Theory","author":"B. J\ufffdnsson","year":"1986","unstructured":"J\ufffdnsson,B., On binary relations, In: Proceedings of the NIH Conference on Universal Algebra and Lattice Theory, (G. Hutchinson, ed.), Laboratory of Computer Research and Technology, National Institute of Health, Bethesda, Maryland (1986), 2?5."},{"key":"CR145","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0012-365X(88)90078-7","volume":"70","author":"B. J\ufffdnsson","year":"1988","unstructured":"J\ufffdnsson,B., Relation algebras and Schr\ufffdder categories, Discrete Mathematics Vol 70 (1988), 27?45.","journal-title":"Discrete Mathematics"},{"key":"CR146","unstructured":"J\ufffdnsson,B., Program specification algebras, Manuscript (1989)."},{"key":"CR147","unstructured":"J\ufffdnsson,B., Program specification as Boolean operators, Preprint, Vanderbilt University, Dept. Math. (circulated at the J\ufffdnsson Conference, Iceland, 1990) (1990)."},{"key":"CR148","first-page":"79","volume":"54","author":"B. J\ufffdnsson","year":"1948","unstructured":"J\ufffdnsson,B. and Tarski,A., Boolean algebras with operators, Bulletin of the Amer. Math. Soc. Vol 54 (1948), 79?80.","journal-title":"Bulletin of the Amer. Math. Soc."},{"issue":"74","key":"CR149","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\ufffdnsson","year":"1951","unstructured":"J\ufffdnsson,B. and Tarski,A., Boolean algebras with operators. Parts I?II, Amer. J. Math. Vol 73, 74 (1951, 1952), 891?939, 127?162.","journal-title":"Amer. J. Math."},{"key":"CR150","unstructured":"Issue devoted to papers on the work of A.Tarski, J. Symbolic Logic Vol 61,4 (1986)."},{"key":"CR151","doi-asserted-by":"crossref","first-page":"177","DOI":"10.4064\/fm-52-2-177-203","volume":"52","author":"H.J. Keisler","year":"1963","unstructured":"Keisler,H.J., A complete first-order logic with infinitary predicates, Fund. Math. Vol 52 (1963), 177?203.","journal-title":"Fund. Math."},{"key":"CR152","doi-asserted-by":"crossref","unstructured":"Kozen,D., On Kleene algebras and closed semirings, In: Proc. Math. Found. Comp. Sci. 1990, Lecture Notes in Computer Science, Springer Verlag Vol 452 (1990), 26?47.","DOI":"10.1007\/BFb0029594"},{"key":"CR153","unstructured":"Knuth.E. and R\ufffdnyai,L., Closed convex reference schemes. (A junction between computer science, cylindric- and partial algebras.), Proc. IFIP Conf., Hungary (1983)."},{"key":"CR154","first-page":"193","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"R. Kramer","year":"1991","unstructured":"Kramer,R., Relativized relation algebras, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 193?349."},{"key":"CR155","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF00370318","volume":"39","author":"S.T. Kuhn","year":"1980","unstructured":"Kuhn,S.T., Quantifiers as modal operators, Studia Logica Vol 39 (1980), 145?158.","journal-title":"Studia Logica"},{"key":"CR156","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1305\/ndjfl\/1093870313","volume":"24","author":"S.T. Kuhn","year":"1983","unstructured":"Kuhn,S.T., An axiomatization of predicate functor logic, Notre Dame Journal of Formal Logic Vol 24 (1983), 233?241.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR157","volume-title":"The logic of time representation, Dissertation","author":"P.B. Ladkin","year":"1987","unstructured":"Ladkin,P.B., The logic of time representation, Dissertation, Univ. of California, Berkeley, 1987. Also: Technical Report KSE. U-87-13, Kestrel Institute, Palo Alto."},{"key":"CR158","unstructured":"Ladkin,P.B. and Maddux,R.D., Representation and reasoning with convex time intervals, Technical Report KES. U-88-2 (1988)."},{"key":"CR159","unstructured":"Ladkin,P.B. and Maddux,R.D., The algebra of constraint satisfaction problems and temporal reasoning, Preprint (1989)."},{"key":"CR160","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1305\/ndjfl\/1093887428","volume":"17","author":"L. Laita","year":"1975","unstructured":"Laita,L., A study of algebraic logic from the point of view of category theory, Notre Dame J. Formal Logic Vol 17 (1975), 89?118.","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR161","unstructured":"LeBlanc,L., Non-homogeneous and higher order polyadic algebras, Doctoral Dissertation, University of Chicago (1959), 81pp."},{"key":"CR162","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1090\/S0002-9939-1962-0132693-7","volume":"13","author":"L. Leblanc","year":"1962","unstructured":"Leblanc,L., Nonhomogeneous polyadic algebras, Proc. Amer. Math. Soc. Vol 13 (1962), 59?65.","journal-title":"Proc. Amer. Math. Soc."},{"key":"CR163","first-page":"236","volume":"20","author":"Th. Lucas","year":"1968","unstructured":"Lucas,Th., Sur l'\ufffdquivalence des alg\ufffdbres cylindriques, Bull. Soc. Math. Belg. Vol 20 (1968), 236?263.","journal-title":"Bull. Soc. Math. Belg."},{"key":"CR164","volume-title":"Grundz\ufffdge der Universellen Algebra","author":"H. Lugowski","year":"1976","unstructured":"Lugowski,H., Grundz\ufffdge der Universellen Algebra, Teubner-Texte zur Mathematik, Leipzig (1976), 238pp."},{"key":"CR165","doi-asserted-by":"crossref","first-page":"294","DOI":"10.2307\/1969611","volume":"63","author":"R.C. Lyndon","year":"1956","unstructured":"Lyndon,R.C., The representation of relation algebras, II, Ann. of Math. series 2, Vol. 63 (1956), 294?307.","journal-title":"Ann. of Math."},{"key":"CR166","volume-title":"Ph.D Thesis","author":"R.D. Maddux","year":"1978","unstructured":"Maddux,R.D., Topics in relation algebras, Ph.D Thesis, University of California, Berkeley (1978)."},{"key":"CR167","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/BF02485385","volume":"8","author":"R.D. Maddux","year":"1978","unstructured":"Maddux,R.D., Sufficient conditions for representability of relation algebras, Algebra Universalis Vol 8 (1978), 162?172.","journal-title":"Algebra Universalis"},{"key":"CR168","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1090\/S0002-9947-1982-0662049-7","volume":"272","author":"R.D. Maddux","year":"1982","unstructured":"Maddux,R.D., Some varieties containing relation algebras, Trans. Amer. Math. Soc. Vol 272 (1982), 501?526.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR169","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(83)90055-6","volume":"25","author":"R.D. Maddux","year":"1983","unstructured":"Maddux,R.D., A sequent calculus for relation algebras, Ann. Pure Appl. Logic Vol 25 (1983), 73?101.","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR170","doi-asserted-by":"crossref","unstructured":"Maddux,R.D., Pair-dense relation algebras, Trans. Amer. Math. Soc. (to appear).","DOI":"10.1090\/S0002-9947-1991-1049616-1"},{"key":"CR171","doi-asserted-by":"crossref","unstructured":"Maddux,R.D., Review of Henkin-Monk-Tarski: Cylindric Algebras Part II, J. Symbolic Logic (1988), 239?241.","DOI":"10.2307\/2274537"},{"issue":"No 3","key":"CR172","doi-asserted-by":"crossref","first-page":"951","DOI":"10.2307\/2274756","volume":"54","author":"R.D. Maddux","year":"1989","unstructured":"Maddux,R.D., Nonfinite axiomatizability results for cylindric and relation algebras, J. Symbolic Logic Vol 54, No 3 (Sept. 1989), 951?974.","journal-title":"J. Symbolic Logic"},{"key":"CR173","doi-asserted-by":"crossref","unstructured":"Maddux,R.D., The neat embedding problem and the number of variables required in proofs, Proc. Amer. Math. Soc. (To appear).","DOI":"10.1090\/S0002-9939-1991-1033959-7"},{"key":"CR174","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1002\/malq.19890350405","volume":"35","author":"R.D. Maddux","year":"1989","unstructured":"Maddux,R.D., Finitary algebraic logic, Z. Math. Logic Grundl. Math. Bd 35 (1989), 321?332.","journal-title":"Z. Math. Logic Grundl. Math."},{"key":"CR175","volume-title":"A collection of research problems on relation algebras","author":"R.D. Maddux","year":"1989","unstructured":"Maddux,R.D., A collection of research problems on relation algebras, Manuscript, Dept. Math. Iowa State University, Ames, Iowa (August 14, 1989)."},{"issue":"No 2","key":"CR176","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1090\/S0002-9939-1989-0987611-5","volume":"107","author":"R.D. Maddux","year":"1989","unstructured":"Maddux,R.D., Canonical relativized cylindric set algebras, Proc. Amer. Math. Soc. Vol 107, No 2 (October 1989), 465?478.","journal-title":"Proc. Amer. Math. Soc."},{"key":"CR177","first-page":"335","volume":"40","author":"E.S. Mafcir","year":"1988","unstructured":"Mafcir,E.S. and Plotkin,B.I, The automorphism group of a database (in Russian), Ukrainskii Math. J. Vol 40 (1988), 335?345.","journal-title":"Ukrainskii Math. J."},{"key":"CR178","volume-title":"Advances in Mathematics","author":"M. Makkai","year":"1987","unstructured":"Makkai,M., Stone duality for first order logic, Advances in Mathematics (Academic Press, New York and London) Vol 65, No 2 (August 1987)."},{"key":"CR179","volume-title":"Lecture Notes in Mathematics Vol 611","author":"M. Makkai","year":"1977","unstructured":"Makkai,M. and Reyes,G.E., First Order Categorical Logic, Lecture Notes in Mathematics Vol 611, Springer-Verlag, Berlin (1977)."},{"key":"CR180","unstructured":"Maksimova,L.L., Craig's interpolation theorem and amalgamable varieties, Soviet Math. Dokl., American Mathematical Society 1978 Vol 18, No 6 (1977)."},{"issue":"No 4","key":"CR181","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF00370479","volume":"XXXVIII","author":"L.L. Maksimova","year":"1979","unstructured":"Maksimova,L.L., Interpolation Properties of Superintuitionistic Logics, Studia Logica Vol XXXVIII, No 4 (1979), 419?428.","journal-title":"Studia Logica"},{"key":"CR182","volume-title":"Teoremi ob opredelimosti v norrnalnih rasshirenijah logiki dokazujemocti (Theorems for determination of normal extensions of propositional logics)","author":"L.L. Maksimova","year":"1988","unstructured":"Maksimova,L.L., Teoremi ob opredelimosti v norrnalnih rasshirenijah logiki dokazujemocti (Theorems for determination of normal extensions of propositional logics) (in Russian), Preprint No 9, Institut of Mathematics, Siberian Branch Academy of Sciences of the USSR, Novosibirsk, 1988."},{"issue":"No 2","key":"CR183","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/BF01463150","volume":"13","author":"L.L. Maksimova","year":"1974","unstructured":"Maksimova,L.L. and Rybakov,V., On the lattice of normal modal logics (in Russian), Algebra i Logika Vol 13, No 2 (1974 pages 188?216).","journal-title":"Algebra i Logika"},{"issue":"3","key":"CR184","first-page":"99","volume":"14","author":"J. Malinowski","year":"1985","unstructured":"Malinowski,J., On the number of quasi-modal algebras, Bull. Section of Logic Vol 14,3 (1985), 99?102.","journal-title":"Bull. Section of Logic"},{"key":"CR185","unstructured":"McKenzie,R.N. McNulty,G.F. and Taylor,W.F., Algebras, Lattices, Varieties, The Wadsworth and Brooks\/Cole Mathematics Series, Monterey, California (1987 (Vol I), 1990 (Vol 2))."},{"key":"CR186","volume-title":"On the complexity of the equational theory of relation algebras with standard projection elements","author":"S. Mikul\ufffds","year":"1990","unstructured":"Mikul\ufffds,S. Sain,I. and Simon,A., On the complexity of the equational theory of relation algebras with standard projection elements, Preprint, Math. Inst. Hungar. Acad. Sci., Budapest, 1990, submitted."},{"key":"CR187","first-page":"735","volume":"7","author":"J.D. Monk","year":"1960","unstructured":"Monk,J.D., Polyadic Heyting algebras, Notices Amer. Math. Soc. Vol 7 (1960), p. 735.","journal-title":"Notices Amer. Math. Soc."},{"key":"CR188","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1307\/mmj\/1028999131","volume":"11","author":"J.D. Monk","year":"1964","unstructured":"Monk,J.D., On representable relation algebras, Michigan Math. J. Vol 11 (1964), 207?210.","journal-title":"Michigan Math. J."},{"key":"CR189","doi-asserted-by":"crossref","first-page":"331","DOI":"10.2307\/2270900","volume":"34","author":"J.D. Monk","year":"1969","unstructured":"Monk,J.D., Nonfinitizability of classes of representable cylindric algebras, J. Symbolic Logic Vol 34 (1969), 331?343.","journal-title":"J. Symbolic Logic"},{"key":"CR190","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1017\/S0022481200092185","volume":"35","author":"J.D. Monk","year":"1970","unstructured":"Monk,J.D., On an algebra of sets of finite sequences, J. Symbolic Logic Vol 35 (1970), 19?28.","journal-title":"J. Symbolic Logic"},{"key":"CR191","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1090\/S0002-9939-1971-0276063-5","volume":"27","author":"J.D. Monk","year":"1971","unstructured":"Monk,J.D., Provability with finitely many variables, Proc. Amer. Math. Soc. Vol 27 (1971), 353?358.","journal-title":"Proc. Amer. Math. Soc."},{"key":"CR192","first-page":"83","volume":"249","author":"J.D. Monk","year":"1977","unstructured":"Monk,J.D., Some problems in algebraic logic, Colloq. Inter. de Logic, CNRS Vol 249 (1977), 83?88.","journal-title":"Colloq. Inter. de Logic, CNRS"},{"issue":"6","key":"CR193","doi-asserted-by":"crossref","first-page":"1378","DOI":"10.1090\/S0002-9904-1978-14587-X","volume":"84","author":"J.D. Monk","year":"1978","unstructured":"Monk,J.D., Review on the book: First order categorical logic, by M. Makkai and G. Reyes, Bulletin Amer. Math. Soc. Vol 84,6 (Nov. 1978), 1378?1380.","journal-title":"Bulletin Amer. Math. Soc."},{"key":"CR194","first-page":"413","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"J.D. Monk","year":"1991","unstructured":"Monk,J.D., Structure problems for cylindric algebras, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 413?429."},{"key":"CR195","volume-title":"Lectures on cylindric set dgebras","author":"J.D. Monk","year":"1991","unstructured":"Monk,J.D., Lectures on cylindric set dgebras, Preprint, Boulder, 1991. Proceedings of the 1991 Fall Banach Semester, Banach Center for Mathematics, Warsaw."},{"key":"CR196","unstructured":"Naturman,C. and Rose,H., Interior algebras: Some universal algebraic aspects, Research Reports No 074, The university of Cape Town (1989), 39pp."},{"key":"CR197","series-title":"26","first-page":"561","volume-title":"Mathematical Logic in Computer Science","author":"I. N\ufffdmeti","year":"1981","unstructured":"N\ufffdmeti,I., Connections between cylindric algebras and initial algebra semantics of CF languages, Mathematical Logic in Computer Science (Proc. Conf. Salg\ufffdtarj\ufffdn Hungary 1978) (Ed.s: D\ufffdm\ufffdlki,B. and Gergely,T.) Colloq. Math. Soc. J. Bolyai Vol 26, North-Holland, Amsterdam (1981), 561?605."},{"key":"CR198","first-page":"43","volume":"14","author":"I. N\ufffdmeti","year":"1980","unstructured":"N\ufffdmeti,I., Some constructions of cylindric algebra theory applied to dynamic algebras of programs, Comp. Linguist. Comp. Lang. Vol 14 (1980), 43?65.","journal-title":"Comp. Linguist. Comp. Lang."},{"key":"CR199","series-title":"117","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/3-540-10854-8_31","volume-title":"Fundamentals of Computation Theory'81","author":"I. N\ufffdmeti","year":"1981","unstructured":"N\ufffdmeti,I., Dynamic dgebras of programs, Fundamentals of Computation Theory'81 (Proc. Conf. Szeged 1981), Lecture Notes in Computer Science Vol 117, Springer-Verlag, Berlin (1981), 281?290."},{"key":"CR200","volume-title":"Decidable varieties of cylindric algebras","author":"I. N\ufffdmeti","year":"1985","unstructured":"N\ufffdmeti,I., Decidable varieties of cylindric algebras, Preprint, Math. Inst. Hungar. Acad. Sci., Budapest, 1985 (submitted)."},{"key":"CR201","volume-title":"Logic with three variables has G\ufffddel's incompleteness property ? thus free cylindric alebras are not atomic","author":"I. N\ufffdmeti","year":"1985","unstructured":"N\ufffdmeti,I., Logic with three variables has G\ufffddel's incompleteness property ? thus free cylindric alebras are not atomic, Preprint No 49\/85, Math. Inst. Hungar. Acad. Sci., Budapest, July 1985."},{"key":"CR202","first-page":"xviii+169","volume-title":"Dissertation for D.Sc.","author":"I. N\ufffdmeti","year":"1986","unstructured":"N\ufffdmeti,I., Free dgebras and decidability in algebraic logic. (In Hungarian), Dissertation for D.Sc. with Hung. Academy of Sciences, Budapest (1986), xviii+169 pp."},{"key":"CR203","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0168-0072(87)90019-4","volume":"36","author":"I. N\ufffdmeti","year":"1987","unstructured":"N\ufffdmeti,I., On varieties of cylindric dgebras with applications to logic, Annals of Pure and Applied Logic Vol 36 (1987), 235?277.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"CR204","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1090\/S0002-9939-1987-0884476-5","volume":"100","author":"I. N\ufffdmeti","year":"1987","unstructured":"N\ufffdmeti,I., Decidability of relation dgebras with weakened associativity, Proc. Amer. Math. Soc. Vol 100,2 (1987), 340?344.","journal-title":"Proc. Amer. Math. Soc."},{"key":"CR205","doi-asserted-by":"crossref","unstructured":"N\ufffdmeti,I., On cylindric dgebraic model theory, in [BMP], 37?76 (1990).","DOI":"10.1007\/BFb0043078"},{"key":"CR206","first-page":"iv+157","volume-title":"Dissertation","author":"K.C. Ng","year":"1984","unstructured":"Ng,K.C., Relation algebras with transitive closure, Dissertation, University of California, Berkeley (1984), iv+157pp."},{"key":"CR207","series-title":"INFO","volume-title":"A relational model of Demonic Nondeterministic programs","author":"T.T. Nguyen","year":"1990","unstructured":"Nguyen,T.T., A relational model of Demonic Nondeterministic programs, Research Report RR. 90-15, INFO, Universit\ufffd Catholique de Louvain (Unite d'Informatique), Belgium (1990), International J. of Foundations of Computer Science, to appear."},{"key":"CR208","first-page":"939","volume":"290","author":"J.-P. Olivier","year":"1980","unstructured":"Olivier,J.-P. and Serrato,D., Cat\ufffdgories de Dedekind. Morphisms dans les cat\ufffdgories de Schr\ufffdder, C.R. Acad. Sci. Paris Vol 290 (1980), 939?941.","journal-title":"C.R. Acad. Sci. Paris"},{"key":"CR209","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/BF00403331","volume":"41","author":"R. Ouellet","year":"1982","unstructured":"Ouellet,R., A categorial approach to polyadic algebras, Studia Logica Vol 41 (1982), 317?327.","journal-title":"Studia Logica"},{"key":"CR210","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/BF01237716","volume":"23","author":"H. Ono","year":"1986","unstructured":"Ono,H., Interpolation and the Robinson property for logics not closed under the Boolean operations, Algebra Universalis Vol 23 (1986), 111?122.","journal-title":"Algebra Universalis"},{"key":"CR211","first-page":"443","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"E. Orlowska","year":"1991","unstructured":"Orlowska,E., Relational interpretation of modal logics, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 443?471."},{"key":"CR212","volume-title":"Dynamic logic with program specifications and its relational proof system","author":"E. Orlowska","year":"1989","unstructured":"Orlowska,E., Dynamic logic with program specifications and its relational proof system, Preprint, Polish Academy of Sciences, P.O. Box 22, PKiN, 00-901 Warsaw, Poland, 1989."},{"key":"CR213","first-page":"473","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"D. Pigozzi","year":"1991","unstructured":"Pigozzi,D., Fregean Algebraic Logic, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 473?502."},{"key":"CR214","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1305\/ndjfl\/1093891000","volume":"1","author":"C. Pinter","year":"1973","unstructured":"Pinter,C., A simple algebra of first order logic, Notre Dame J. Formal Logic Vol 1 (1973), 361?366.","journal-title":"Notre Dame J. Formal Logic"},{"key":"CR215","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1090\/S0002-9947-1973-0317931-1","volume":"175","author":"C. Pinter","year":"1973","unstructured":"Pinter,C., Cylindric algebras and algebras of substitutions, Trans. Amer. Math. Soc. Vol 175 (1973), 167?179.","journal-title":"Trans. Amer. Math. Soc."},{"key":"CR216","doi-asserted-by":"crossref","first-page":"223","DOI":"10.4064\/fm-79-3-223-232","volume":"79","author":"C. Pinter","year":"1973","unstructured":"Pinter,C., A simpler set of axioms for polyadic algebras, Fund. Math. Vol 79 (1973), 223?232.","journal-title":"Fund. Math."},{"key":"CR217","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1305\/ndjfl\/1093891889","volume":"16","author":"C. Pinter","year":"1975","unstructured":"Pinter,C., Algebraic logic with generalized quantifiers, Notre Dame J. Formal Logic Vol 16 (1975), 511?516.","journal-title":"Notre Dame J. Formal Logic"},{"issue":"2","key":"CR218","first-page":"95","volume":"7","author":"C. Pinter","year":"1978","unstructured":"Pinter,C., Cylindric algebras with a property of Rasiowa and Sikorski, Bull. Section of Logic Vol 7,2 (1978), 95.","journal-title":"Bull. Section of Logic"},{"key":"CR219","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BFb0082023","volume-title":"Algebra ? Some current trends","author":"B.I Plotkin","year":"1988","unstructured":"Plotkin,B.I, Galois theory of Databases, Algebra ? Some current trends. (Proc. Conf. Varna 1986) (ed. Avramov,L.L. et al.) Lecture Notes in Mathematics Vol 1352, Springer-Verlag, Berlin (1988), 147?161."},{"key":"CR220","first-page":"503","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"B.I. Plotkin","year":"1991","unstructured":"Plotkin,B.I., Halmos (polyadic) algebras in the database theory, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 503?518."},{"key":"CR221","doi-asserted-by":"crossref","unstructured":"Pratt,W., Dynamic algebras as a well behaved fragment of relation algebras, in [BMP] (1990), 77?110.","DOI":"10.1007\/BFb0043079"},{"key":"CR222","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1016\/S1385-7258(68)50062-3","volume":"71","author":"A. Preller","year":"1968","unstructured":"Preller,A., On the relationship between the classical and the categorical direct products of algebras, Nederl. Akad. Wetensch. Proc. Ser. A, Indag. Math. Vol.30 Vol 71 (1968), 512?516.","journal-title":"Nederl. Akad. Wetensch. Proc. Ser. A, Indag. Math. Vol.30"},{"key":"CR223","unstructured":"Preller,A., Log\ufffdque alg\ufffdbrique infinitaire, These Doct. Sci. Math. Lyon (1968), 218pp."},{"key":"CR224","first-page":"1509","volume":"268","author":"A. Preller","year":"1969","unstructured":"Preller, A., Logique algebrique infinitaire. Compl\ufffdtude des calculs L ??, C.R. Acad. Sci. Paris Vol 268 (1969), 1509?1511, 1589?1592.","journal-title":"C.R. Acad. Sci. Paris"},{"key":"CR225","first-page":"695","volume":"8","author":"A. Preller","year":"1969","unstructured":"Preller,A., On the weak representability of ?-complete dimension complemented cylindric algebras, Algebra i Logica Sem. Vol 8 (1969), 695?711.","journal-title":"Algebra i Logica Sem."},{"key":"CR226","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF01967654","volume":"30","author":"A. Preller","year":"1970","unstructured":"Preller,A., Substitution algebras in their relation to cylindric algebras, Arch. Math. Logik Grundl. Vol 30 (1970), 91?96.","journal-title":"Arch. Math. Logik Grundl."},{"key":"CR227","doi-asserted-by":"crossref","first-page":"2","DOI":"10.2307\/2269323","volume":"1","author":"W.V. Quine","year":"1936","unstructured":"Quine,W.V., Toward a calculus of concepts, J. Symbolic Logic Vol 1 (1936), 2?25.","journal-title":"J. Symbolic Logic"},{"key":"CR228","unstructured":"Quine,W.V., Algebraic Logic and Predicate Functors, Bobbs-Merrill Publ. Co. (1971), 25pp."},{"key":"CR229","doi-asserted-by":"crossref","first-page":"649","DOI":"10.2307\/2273763","volume":"46","author":"W.V. Quine","year":"1981","unstructured":"Quine,W.V., Predicate functors revisited, Journal of Symbolic Logic Vol 46 (1981), 649?652.","journal-title":"Journal of Symbolic Logic"},{"key":"CR230","doi-asserted-by":"crossref","first-page":"99","DOI":"10.4064\/fm-38-1-99-126","volume":"38","author":"H. Rasiowa","year":"1951","unstructured":"Rasiowa,H., Algebraic treatment of the functional calculi of Heyting and Lewis, Fund. Math. 38 (1951), 99?126.","journal-title":"Fund. Math."},{"key":"CR231","unstructured":"Rasiowa,H., Post algebras as a semantic foundation of m-valued logics, In: Studies in Algebraic Logic (ed.: A. Daigneault), MAA Studies in Mathematics 9 (1974), 92?143."},{"key":"CR232","unstructured":"Rasiowa,H., An Algebraic Approach to Non-Classical Logics, Studies in Logic and the Foundations of Mathematics, North-Holland Vol 78 (1974)."},{"key":"CR233","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00370427","volume":"XLIV\/4","author":"H. Rasiowa","year":"1985","unstructured":"Rasiowa,H., Topological representations of Post algebras of order ? + and open theories based on ? +-valued Post logic, Studia Logica Vol XLIV\/4 (1985), 353?368.","journal-title":"Studia Logica"},{"key":"CR234","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa,H. and Sikorski,R., The Mathematics of Metamathematics, Panstwowe Wydawnictwo Naukowe, Warsawa (1963), 519pp."},{"key":"CR235","first-page":"xi+361","volume":"22","author":"W. Rautenberg","year":"1979","unstructured":"Rautenberg,W., Klassische und nichtklassische Aussagenlogik, Logik und Grundlagen der Mathematik Vol 22 (1979), xi+361pp.","journal-title":"Logik und Grundlagen der Mathematik"},{"key":"CR236","doi-asserted-by":"crossref","unstructured":"Rautenberg,W., Axiomatizing logics closely related to varieties, Studia Logica (this issue).","DOI":"10.1007\/BF00370686"},{"key":"CR237","first-page":"519","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"D. Resek","year":"1991","unstructured":"Resek,D. and Thompson,R.J., An equational characterization of relativized cylindric algebras, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 519?538."},{"issue":"no 1","key":"CR238","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0003-4843(70)80006-7","volume":"1","author":"G.E. Reyes","year":"1970","unstructured":"Reyes,G.E., Local definability theory, Annals of Mathematical Logic Vol 1, no 1 (1970), 95?137.","journal-title":"Annals of Mathematical Logic"},{"key":"CR239","unstructured":"de Roever,W.P., Jr., A formalization of various parameter mechanisms as products of relations within a calculus of recursive program schemes, Th\ufffdorie des Algorithmes, des Languages et de la Programmation, S\ufffdminaires IRIA (1972), 55?88."},{"key":"CR240","first-page":"85","volume":"32","author":"S.M. Rosenberg","year":"1988","unstructured":"Rosenberg,S.M., On varieties of Halmos polyadic algebras (in Russian), Latv. Mat. Ezhegodnik Vol 32 (1988), 85?89.","journal-title":"Latv. Mat. Ezhegodnik"},{"key":"CR241","unstructured":"Sain,I., Strong amalgamation and epimorphisms of cylindric algebras and Boolean algebras with operators, Studia Logica (to appear)."},{"key":"CR242","unstructured":"Sain,I., Positive results related to the J\ufffdnsson, Tarski-Givant representation problem, Expanded version of Preprint Math. Inst. Hungar. Acad. Sci., Oct. 1987."},{"key":"CR243","unstructured":"Sain,I., Searching for a finitizable algebraization of first order logic, Annals of Pure and Applied Logic (submitted), Also: Preprint Math. Inst. Hungar. Acad. Sci. No 53\/1987, 78pp."},{"key":"CR244","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0304-3975(87)90118-6","volume":"50","author":"I. Sain","year":"1987","unstructured":"Sain,I., Total correctness in nonstandard logics of programs, Theoretical Computer Science Vol 50 (1987), 285?321.","journal-title":"Theoretical Computer Science"},{"key":"CR245","doi-asserted-by":"crossref","unstructured":"Sain,I., Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic, in [BMP] 209?226 (1990).","DOI":"10.1007\/BFb0043086"},{"key":"CR246","first-page":"539","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"I. Sain","year":"1991","unstructured":"Sain,I., and Thompson,R.J., Strictly finite schema axiomatization of quasipolyadic algebras, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 539?571."},{"key":"CR247","first-page":"573","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"A. Salibra","year":"1991","unstructured":"Salibra,A., A general theory of algebras with quantifiers, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 573?620."},{"key":"CR248","series-title":"82","doi-asserted-by":"crossref","first-page":"ix+146","DOI":"10.1007\/3-540-09987-5","volume-title":"A Relational Theory of Computing","author":"J.G. Sanders","year":"1980","unstructured":"Sanders,J.G., A Relational Theory of Computing, Lecture Notes in Computer Science Vol 82, Springer-Verlag, Berlin (1980), ix+146pp."},{"key":"CR249","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02573019","volume":"1","author":"B.M. Schein","year":"1970","unstructured":"Schein,B.M., Relation algebras and function semigroups, Semigroup Forum Vol 1 (1970), 1?62.","journal-title":"Semigroup Forum"},{"key":"CR250","first-page":"621","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"B.M. Schein","year":"1991","unstructured":"Schein,B.M., Representation of reducts of Tarski relation algebras, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 621?635."},{"key":"CR251","doi-asserted-by":"crossref","unstructured":"Schmidt,G. and Str\ufffdhlein,T., Relationen und Graphen, Series Mathematik f\ufffdr Informatiker, Springer-Verlag (1989).","DOI":"10.1007\/978-3-642-83608-4"},{"key":"CR252","unstructured":"Sch\ufffdnfeld,W., Applications of relation algebras in computer science, Notices Amer. Math. Soc. (A-254) Vol 24 (1977)."},{"key":"CR253","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1002\/mana.19790910119","volume":"91","author":"D. Schwartz","year":"1979","unstructured":"Schwartz,D., Koherante Systeme von Booleschen Algebren, Math. Nachr. Vol 91 (1979), 253?262.","journal-title":"Math. Nachr."},{"key":"CR254","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1002\/malq.19800263602","volume":"26","author":"D. Schwartz","year":"1980","unstructured":"Schwartz,D., Polyadic MV-algebras, Z. Math. Logik Grundl. Math. Vol 26 (1980), 561?564.","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"CR255","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1002\/malq.19800261406","volume":"26","author":"D. Schwartz","year":"1980","unstructured":"Schwartz,D., Cylindric algebras with filter quantifiers, Z. Math. Logik Grundl. Math. Vol 26 (1980), 251?254.","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"CR256","unstructured":"Ser\ufffdny,G., Compact cylindric set algebras, Bull. Section of Logic (Warsaw-?odz, June 1985), 57?64."},{"key":"CR257","volume-title":"Dissertation","author":"G. Ser\ufffdny","year":"1986","unstructured":"Ser\ufffdny,G., Compact cylindric set algebras, Dissertation with E\ufffdtv\ufffds Lor\ufffdnd Univ., Budapest (1986), 65pp."},{"key":"CR258","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF02017961","volume":"11","author":"A. Shafaat","year":"1980","unstructured":"Shafaat,A., Homomorphisms, homomorphic relations and power algebras, Periodica Mathematica Hungarica Vol 11 (1980), 89?94.","journal-title":"Periodica Mathematica Hungarica"},{"key":"CR259","first-page":"645","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"S. Shelah","year":"1991","unstructured":"Shelah,S., On a problem in cylindric algebra, In [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 645?664."},{"key":"CR260","first-page":"665","volume-title":"Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54","author":"A. Simon","year":"1991","unstructured":"Simon,A., A complete axiomatization of equations valid in representable cylindric algebras and typeless logic, in [AMN]Andr\ufffdka,H. Monk,J.D. and N\ufffdmeti,I. (ed.s), Algebraic Logic (Proc. Conf. Budapest 1988) Colloq. Math. Soc. J. Bolyai Vol 54, North-Holland, Amsterdam (1991), 665?670."},{"key":"CR261","first-page":"129","volume":"41","author":"L.A. Skornyakov","year":"1987","unstructured":"Skornyakov,L.A., Matrix relation algebras (in Russian), Mat. Zametki Vol 41 (1987), 129?137. English translation: QA1.M424E. See Current Math. Publ., v.19, #12.","journal-title":"Mat. Zametki"},{"key":"CR262","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1090\/S0273-0979-1982-15002-9","volume":"6","author":"C. Smorynski","year":"1982","unstructured":"Smorynski,C., Fixed point algebras, Bull. Amer. Math. Soc. Vol 6 (1982), 317?356. (Errata: (1984), 407).","journal-title":"Bull. Amer. Math. Soc."},{"key":"CR263","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Self Reference and Modal Logic","author":"C. Smorynski","year":"1985","unstructured":"Smorynski,C., Self Reference and Modal Logic, Springer-Verlag, Berlin (1985)."},{"key":"CR264","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","volume":"25","author":"R.M. Solovay","year":"1976","unstructured":"Solovay,R.M., Provability interpretations of modal logic, Israel J. of Mathematics Vol 25 (1976), 287?304.","journal-title":"Israel J. of Mathematics"},{"key":"CR265","doi-asserted-by":"crossref","unstructured":"Tarski,A. and Givant,S., A formalization of set theory without variables, AMS Colloquium Publications, Providence, Rhode Island Vol 41 (1987).","DOI":"10.1090\/coll\/041"},{"key":"CR266","doi-asserted-by":"crossref","unstructured":"Tembrowski,B., Q-ultrafilters and normal ultrafilters in B-algebras, Studia Logica Vol XLV, 2 (1986).","DOI":"10.1007\/BF00373272"},{"key":"CR267","volume-title":"Ph. D. Dissertation","author":"R.J. Thompson","year":"1981","unstructured":"Thompson,R.J., Transformational structure of algebraic logics, Ph. D. Dissertation, University of California, Berkeley (1981)."},{"key":"CR268","unstructured":"Thompson,R.J., Semigroups of finite transformations and cylindric algebras, Semigroup Forum (to appear). Also: Preprint Math. Inst. Hungar. Acad. Sci. No 45\/1987."},{"key":"CR269","doi-asserted-by":"crossref","unstructured":"Thompson,R.J., Noncommutative cylindric algebras and relativizations of cylindric algebras, in [BMP] 273?278 (1990).","DOI":"10.1007\/BFb0043089"},{"key":"CR270","first-page":"743","volume":"27","author":"V. Topencharov","year":"1974","unstructured":"Topencharov,V., Elements de la theorie des categories polyadiques, C.R. Acad. Bulgare Sci. Vol 27 (1974), 743?746.","journal-title":"C.R. Acad. Bulgare Sci."},{"issue":"2","key":"CR271","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0022-0000(87)90014-6","volume":"35","author":"V. Trnkov\ufffd","year":"1987","unstructured":"Trnkov\ufffd,V. and Reiterman,J., Dynamic algebras with test, J. Computer System Sciences Vol 35,2 (1987), 229?242.","journal-title":"J. Computer System Sciences"},{"key":"CR272","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/BF02945107","volume":"3","author":"A. Urquhart","year":"1973","unstructured":"Urquhart,A., Free Heyting algebras, Algebra Universalis Vol 3 (1973), 94?97.","journal-title":"Algebra Universalis"},{"issue":"3","key":"CR273","first-page":"569","volume":"33","author":"V.A. Vardanyan","year":"1986","unstructured":"Vardanyan,V.A., Arithmetic complexity of predicate logics of provability and their fragments, Soviet Mathematics Doklady Vol 33,3 (1986), 569?572.","journal-title":"Soviet Mathematics Doklady"},{"key":"CR274","unstructured":"Venema,Y., Cylindric modal logic, Preprint, University of Amsterdam, ITLI publication series ML-91-01 (1991), 32pp."},{"key":"CR275","unstructured":"Venema,Y., Many-dimensional modal logic, Doctoral Dissertation, University of Amsterdam (1991), vii+178pp."},{"key":"CR276","volume-title":"Doctoral dissertation","author":"M. Venne","year":"1965","unstructured":"Venne,M., Languages, theories et algebres polyadiques d'ordres superieurs, Doctoral dissertation, Universit\ufffd de Montr\ufffdal, Montreal (1965), viii+110pp."},{"key":"CR277","first-page":"1236","volume":"262","author":"M. Venne","year":"1966","unstructured":"Venne,M., Algebres polyadiques d'ordres sup\ufffdrieurs, C.R. Acad. Sci. Paris S\ufffdr. A-B Vol ser. A, 262 (1966), 1236?1238, 1293?1294.","journal-title":"C.R. Acad. Sci. Paris S\ufffdr. A-B Vol ser. A"},{"key":"CR278","first-page":"59","volume":"35","author":"V. Verd\ufffd","year":"1986","unstructured":"Verd\ufffd,V., Modal Heyting algebras with comodal operators, Commentarii Mathematici Universitatis Sancti Pauli Vol 35 (1986), 59?64.","journal-title":"Commentarii Mathematici Universitatis Sancti Pauli"},{"key":"CR279","first-page":"51","volume-title":"Lecture Notes in Mathematics Vol 445","author":"H. Volger","year":"1975","unstructured":"Volger,H., Completeness Theorem for Logical Categories, Lecture Notes in Mathematics Vol 445, SpringerVerlag, Berlin (1975), 51?86."},{"key":"CR280","first-page":"110","volume":"30","author":"N.D. Volkov","year":"1986","unstructured":"Volkov,N.D., Halmos algebras and relation algebras (in Russian), Latv. Mat. Ezhegodnik Vol 30 (1986), 110?123.","journal-title":"Latv. Mat. Ezhegodnik"},{"key":"CR281","volume-title":"Algebra and Discrete Mathematics: Theoretical Foundations of Software","author":"N.D. Volkov","year":"1986","unstructured":"Volkov,N.D., The transition from a relation algebra to a Halmos algebra, In: Algebra and Discrete Mathematics: Theoretical Foundations of Software, (in Russian), Latv. Gos. Univ., Riga (1986). See Current Math. PubL, v.19, #17."},{"key":"CR282","first-page":"103","volume":"31","author":"N.D. Volkov","year":"1988","unstructured":"Volkov,N.D., Opertions of Halmos polyadic algebras in relational algebras (in Russian), Latv. Mat. Ezhegodnik Vol 31 (1988), 103?114.","journal-title":"Latv. Mat. Ezhegodnik"},{"key":"CR283","first-page":"60","volume":"32","author":"N.D. Volkov","year":"1988","unstructured":"Volkov,N.D., Filters in relational algebras and in Halmos polyadic algebras (in Russian), Latv. Mat. Ezhegodnik Vol 32 (1988), 60?6T.","journal-title":"Latv. Mat. Ezhegodnik"},{"key":"CR284","doi-asserted-by":"crossref","DOI":"10.1515\/9783112733332","volume-title":"Discriminator Algebras","author":"H. Werner","year":"1978","unstructured":"Werner,H., Discriminator Algebras, Akademie Verlag, Berlin (1978)."},{"key":"CR285","volume-title":"Selected contributions to the 7th International Congress","author":"A. Wronski","year":"1984","unstructured":"Wronski,A., On a Form of Equational Interpolation Property, Foundations in Logic and Linguistics, Problems and Solutions, Selected contributions to the 7th International Congress, Plenum Press, London (1984)."},{"key":"CR286","unstructured":"Wadge,W.W., A complete natural deduction system for the relation calculus, University of Warwick, Theory of Computation Report No 5 (1988)."},{"key":"CR287","volume-title":"Diplomarbeit","author":"H. Zierer","year":"1983","unstructured":"Zierer,H., Relationale Semantik, Diplomarbeit, Institut f\ufffdr Informatik, Technische Universit\ufffdt, M\ufffdnchen (1983)."},{"issue":"1","key":"CR288","first-page":"181","volume":"25","author":"P. Zlato?","year":"1984","unstructured":"Zlato?, P., Two notes on locally finite cylindric algebras, Comment. Math. Univ. Carol. Vol 25,1 (1984), 181?199.","journal-title":"Comment. Math. Univ. Carol."},{"issue":"3","key":"CR289","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF01849839","volume":"16","author":"P. Zlato?","year":"1985","unstructured":"Zlato?,P., On conceptual completeness of syntactic-semantical systems, Periodica Math. Hungar. Vol 16,3 (1985), 145?174.","journal-title":"Periodica Math. Hungar."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370684.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370684\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370684","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T16:49:47Z","timestamp":1734626987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370684"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"references-count":289,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1991]]}},"alternative-id":["BF00370684"],"URL":"https:\/\/doi.org\/10.1007\/bf00370684","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1991]]}}}