Skip to main content
SpringerLink
Log in

Free spectra of 3-element algebras

  • Conference paper
  • First Online:
Universal Algebra and Lattice Theory

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 1004))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 46.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  • Alexseev, A. (1974), On the number of k-valued monotone functions, (in Russian), Problemy Kibernetiki 28, 5–24, #220#

    Google Scholar 

  • Anderson, A.R. and Belnap, N.D. (1975), Entailment. The Logic of Relevance and necessity, Princeton University Press, Princeton, New Jersey. #123# #152#

    MATH  Google Scholar 

  • Aqvist, L. (1962), Reflections on the logic of nonsense, Theoria 28, 138–157. #201#

    Article  Google Scholar 

  • Arnold, B.H. (1951), Distributive lattices with a third operation defined, Pacific J. Math. 1, 33–41. #026#

    Article  MathSciNet  MATH  Google Scholar 

  • Baker, K. (1981), Letter to J. Berman, August 1981. #039# #042# #092# #094# #114#

    Google Scholar 

  • Balbes, R. (1973), On free pseudo-complemented and relatively pseudo-complemented semi-lattices, Fund. Math. 78, 119–131. #103# #176#

    MathSciNet  MATH  Google Scholar 

  • Balbes, R. and Dwinger, Ph. (1974), Distributive Lattices, Univ. of Missouri Press, Columbia, Mo. #084# #103# #167# #186# #187# #201# #235#

    MATH  Google Scholar 

  • Balbes, R. and Horn, A. (1970), Injective and projective Heyting algebras, Trans. Amer. Math. Soc. 148, 549–559. #186#

    Article  MathSciNet  MATH  Google Scholar 

  • Baldwin J.T. and Lachlan, A. (1973), On universal Horn classes categorical in some infinite power, Algebra Universalis 3, 98–111, #003#

    Article  MathSciNet  MATH  Google Scholar 

  • Bandler, W. and Kohout, L. (1979), Application of fuzzy logic to computer protection structures, 9-th ISMVL, Bath, England, 200–207. #058# #112#

    Google Scholar 

  • Belkin, V.P. (1977), Quasiidentities of certain finite algebras, (in Russian), Mat. Zametki 22, 335–338. Translated in Math. Notes 22 (1977), 676–678. #066#

    MathSciNet  MATH  Google Scholar 

  • Berman, J. (1980), Algebraic properties of k-valued logics, 10-th ISMVL, Evanston, Illinois, 195–204.

    Google Scholar 

  • Berman, J. (1982), Varieties with log-linear free spectra, preprint.

    Google Scholar 

  • Berman, J. and Kohler, P. (1976), Cardinalities of finite distributive lattices, Mitt. Math. Sem. Giessen 121, 103–124. #008#

    MathSciNet  MATH  Google Scholar 

  • Berman, J. and McKenzie, R. (1982), Clones with the term condition, preprint. #233#

    Google Scholar 

  • Berman, J. and Mukaidono, M. (1981), Enumerating fuzzy switching functions and free Kleene algebras, preprint. #084# #222#

    Google Scholar 

  • Berman, J. and Wolk, B. (1980), Free lattices in some small varieties, Algebra Universalis 10, 269–289.

    Article  MathSciNet  MATH  Google Scholar 

  • Bernays, P. (1926), Axiomatische Untersuchung des Aussagen-Kalkuls der "Principia Mathematica", Math. Zeit. 25, 305–320. #194# #196# #198# #201#

    Article  MathSciNet  MATH  Google Scholar 

  • Bernstein, B.A. (1921), On the complete independence of Hurwitz's postulates for abelian groups and fields, Annals of Math. 23, 313–316. #036# #074# #127#

    Article  MATH  Google Scholar 

  • Bernstein, B.A. (1924), Modular representations of finite algebras, Proc. International Congress Math., Toronto, vol. 1, 207–216. #114# #139#

    Google Scholar 

  • Biela, A. (1975), Note on structural incompleteness of some modal propositional calculi, Reports Math. Logic 4, 3–6. #064# #139#

    MathSciNet  MATH  Google Scholar 

  • Bielecka-Holda, M. (1980), Independent bases for the consequence determined by non-degenerated distributive lattices, BSL 9, 141–144. #020#

    MathSciNet  MATH  Google Scholar 

  • Birkhoff, G. (1940), Lattice Theory, Amer. Math. Soc. Colloq. Pub. no. 25, New York. #187#

    Google Scholar 

  • Birkhoff, G. (1967), Lattice Theory, 3-rd edition, Amer. Math. Soc. Colloq. Pub. no. 25, New York. #008#

    Google Scholar 

  • Bochvar, D.A. (1939), On a 3-valued logical calculus and its application to the analysis of contradictions, (in Russian), Math. Sbornik 4, 287–308. Translated in Hist. Philos. Logic 2(1981), 87–112. #082#.

    MATH  Google Scholar 

  • Borkowski, L. (1970), editior, Jan Lukasiewicz Selected Works, North-Holland, Amsterdam.

    Google Scholar 

  • Bosbach, B. (1969), Komplementare Halbgruppen, Fund. Math. 64, 257–287. #106# #129# #142# #159#

    MathSciNet  MATH  Google Scholar 

  • Brady, R. (1971), The consistency of the axioms of abstraction and extensionality in a three-valued logic, NDJFL 12, 447–453. #098#

    MathSciNet  Google Scholar 

  • Burle, G.A. (1967), The classes of k-valued logics containing all one variable functions, (in Russian), Diskret. Analiz 10, 3–7. MR 36, 1297. #233# #234#

    MathSciNet  MATH  Google Scholar 

  • Byrd, M. (1979), On Lukasiewiczian logics with several designated values, Logique et Analyse 22, 489–504. #099# #105#

    MathSciNet  MATH  Google Scholar 

  • Carvallo, M. (1968), Logique a trois valeurs, logique a seuil, Gauthier Villars, Paris. #164#

    MATH  Google Scholar 

  • Chajda, I. (1980), Polynomially determined tolerances, Czech. Math. J. 30, 470–474. #043#

    MathSciNet  MATH  Google Scholar 

  • Chang, C.C. (1958), Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88, 467–490. #043# #073# #099# #201#

    Article  MathSciNet  MATH  Google Scholar 

  • Church, A. (1953), Non-normal truth-tables for the propositional calculus, Boletin de la Sociedad Matematica Mexicana 10, 41–52. #059# #082# #173#

    MathSciNet  MATH  Google Scholar 

  • Church, R. (1965), Enumeration by rank of the elements of the free distributive lattice with 7 generators, Notices Amer. Math. Soc. 12, 724. #008#

    Google Scholar 

  • Cignoli, R. (1970), Moisil Algebras, Notas de Logica Matematica, No. 27, Universidad Nacional del Sur, Bahia Blanca. #201# #235#

    MATH  Google Scholar 

  • Clark, D.M. and Krauss, P.H. (1976), Para primal algebras, Algebra Universalis 6, 165–192. #068#

    Article  MathSciNet  MATH  Google Scholar 

  • Clark, D.M. and Krauss, P.H. (1980), Plain para primal algebras, Algebra Universalis 11, 365–388. #114# #212#

    Article  MathSciNet  MATH  Google Scholar 

  • Cleave, J.P. (1980), Some remarks on the interpretation of 3-valued logics, Ratio 22, 52–60. #053# #058# #098#

    MathSciNet  Google Scholar 

  • Conway, J. (1971), Regular Algebra and Finite Machines, Chapman and Hall, London. #051# #121#

    MATH  Google Scholar 

  • Croisot, R. (1951), Axiomatique des lattices distributives, Canad. J. Math. 3, 24–27. #024# #057#

    Article  MathSciNet  MATH  Google Scholar 

  • Csakany, B. (1980), Homogeneous algebras are functionally complete, Algebra Universalis 11, 149–158. #003#

    Article  MathSciNet  MATH  Google Scholar 

  • Csakany, B. (1982), Three-element groupoids with minimal clones, preprint. #004# #006# #007# #009# #011#

    Google Scholar 

  • Csakany, B. and Gavalcova, T. (1982), Three-element quasi-primal algebras, Studia Sci. Math. Hungar., to appear. #028# #033# #065# #072# #079# #086# #104# #106# #129# #145#

    Google Scholar 

  • Davey, B.A. (1976), Dualities for equational classes of Brouwerian algebras and Heyting algebras, Trans. Amer. Math. Soc. 221, 119–146. #085# #187#

    Article  MathSciNet  MATH  Google Scholar 

  • Day, A. (1973), The congruence extension property and subdirectly irreducible algebras—an example, Algebra Universalis 3, 229–237. #005#

    Article  MathSciNet  MATH  Google Scholar 

  • Demetrovics, J. and Hannak, L. and Marchenkov, S.S. (1980), Some remarks on the structure of P3, C. R. Math. Rep. Acad. Sci. Canada 2, 215–219. #004# #028#

    MathSciNet  MATH  Google Scholar 

  • Demetrovics, J. and Hannak, L. and Ronyai, L. (1982), On the free spectra of maximal clones, C.R. Math. Rep. Acad. Sci. Canada, to appear. #072# #229# #230#

    Google Scholar 

  • Diego, A. (1965), Sobre Algebras de Hilbert, Notas de Logica Matematica No. 12, University Nacional del Sur, Bahia Blanca. #101# #105#

    Google Scholar 

  • Dienes, P. (1949), On ternary logic, J. Symbolic Logic 14, 85–94. #038# #041#

    Article  MathSciNet  MATH  Google Scholar 

  • Dienes, Z.P. (1949), On an implication function in many-valued systems of logic, J. Symbolic Logic 14, 95–97. #059#

    Article  MathSciNet  MATH  Google Scholar 

  • Dines, L.L. (1915), Complete existential theory of Sheffer's postulates for Boolean algebras, BAMS 21, 183–188. #158# #164#

    Article  MathSciNet  Google Scholar 

  • Dudek, J. and Romanowska, A. (1981), Bisemilattices with four essentially binary polynomials, preprint. #018# #020# #117#

    Google Scholar 

  • Dunn, J.M. (1970), Algebraic completeness results for R-mingle, J. Symbolic Logic 35, 1–13. #064# #085#

    Article  MathSciNet  MATH  Google Scholar 

  • Dwinger, Ph. (1972), Free Post algebras and coproducts of Post algebras, Bull. Acad. Polon. Sci. 20, 535–537. #235#

    MathSciNet  MATH  Google Scholar 

  • Epstein, G. (1976), Decisive Venn diagrams, 6-th ISMVL, Logan Utah, 142–149. #150#

    Google Scholar 

  • Epstein, G. and Horn, A. (1974), P-algebras, an abstraction from Post algebras, Algebra Univesalis 4, 195–206. #201#

    Article  MathSciNet  MATH  Google Scholar 

  • Epstein, G. and Liu, Y. (1982), Positive multiple-valued switching functions—an extension of Dedekind's problem, 12-th ISMVL, Paris, 248–252. #220#

    Google Scholar 

  • Evans, T. (1962), Properties of algebras almost equivalent to identities, J. London Math. Soc. 37, 53–59. #029# #037#

    Article  MathSciNet  MATH  Google Scholar 

  • Evans, T. (1971), The lattice of semigroup varieties, Semigroup Forum2, 1–43. #108#

    Google Scholar 

  • Evans, T. and Hardy, L. (1957), Sheffer stroke functions in many-valued logics, Portugaliae Math. 16, 83–93. #201#

    MathSciNet  MATH  Google Scholar 

  • Fajtlowicz, S. (1972), Equationally complete semigroups with involution, Algebra Universalis 1, 356–358. #114#

    MathSciNet  MATH  Google Scholar 

  • Finn, V. and Grigolija, R. (1980), Bochvar's algebras and corresponding propositional calculi, BSL 9, 39–45. #200#

    MATH  Google Scholar 

  • Fisher, M. (1961), A three valued calculus fot deontic logic, Theoria 27, 107–118. #085#

    Article  Google Scholar 

  • Foxley, E. (1962), The determination of all Sheffer functions in 3-valued logic, using a logical computer, NDJFL 3, 41–50. #072# #218# #226#

    MathSciNet  MATH  Google Scholar 

  • Fried, E. and Gratzer, G. (1973), A nonassociative extension of the class of distributive lattices, Pacific J. Math. 49, 59–78. #012# #143# #192#

    Article  MathSciNet  MATH  Google Scholar 

  • Gabovich, E. Ya. (1976), Fully ordered semigroups and their applications, (in Russian), Uspekhi Mat. Nauk 31, 137–201. Translated in Russian Math. Surveys 31 (1976), 147–216. #027# #054#

    MATH  Google Scholar 

  • Gerhard, J.A. (1971), The number of polynomials of idempotent semigroups, J. Algebra 18, 366–376. #005# #006#

    Article  MathSciNet  MATH  Google Scholar 

  • Goddard, L. and Routley, R. (1973), The Logic of Significance and Context, Wiley, New York. #039# #082# #098# #141# #150# #151#

    MATH  Google Scholar 

  • Godel, K. (1932), Zum intuitionistischen Aussagenkalkul, Anzeiger der Akademie der Wissenschaften Wien, Mathematisch, naturwissenschaftliche Klasse 69, 65–66. #187#

    Google Scholar 

  • Goetz, A. (1966), On weak isomorphisms and weak homomorphisms of abstract algebras, Colloq. Math. 14, 163–167.

    MathSciNet  MATH  Google Scholar 

  • Gorbunov, A. (1977), Covers in lattices of quasivarieties and independent axiomatizability, (in Russian), Algebra i Logika 16, 507–548. Translated Algebra and Logic 6, 340–369. #066#

    Article  MathSciNet  MATH  Google Scholar 

  • Gratzer, G. (1970), Composition of functions, Proc. Conf. on Universal Algebra, Queens Univ., Kingston, Ontario, 1969, 1–106.

    Google Scholar 

  • Gratzer, G. (1971), Lattice Theory. First Concepts and Distributive Lattices, W.H. Freeman and Co., San Francisco, California. #186#

    MATH  Google Scholar 

  • Gratzer, G. (1979), Universal Algebra, 2-nd edition, Springer-Verlag, New York. #087#

    MATH  Google Scholar 

  • Gratzer, G. and Padmanabhan, R. (1971), On idempotent, commutative, and nonassociative groupoids, Proc. Amer. Math. Soc. 28, 75–80. #003#

    Article  MathSciNet  MATH  Google Scholar 

  • Gutierrez J. and Moraga, C. (1974), Multithreshold periodic ternary threshold logic, 4-th ISMVL, Morgantown, W. Virginia, 413–422. #019# #111# #115# #123# #138#

    Google Scholar 

  • Hanson, W. (1963), Ternary threshold logic, IEEE Trans. on Computers EC-12, 191–197. #025# #114# #129#

    Google Scholar 

  • Hardegree, G.M. (1981), Quasi-implication algebras, Part I: Elementary theory, Algebra Universalis 12, 30–47. #098#

    Article  MathSciNet  MATH  Google Scholar 

  • Harrop, R. (1976), Some results concerning finite model separability of propositional calculi, Studia Logica 35, 179–189. #108#

    Article  MathSciNet  MATH  Google Scholar 

  • Hecht, T. and Katrinak, T. (1972), Equational classes of relative stone algebras, NDJFL 13, 248–254. #103#

    MathSciNet  MATH  Google Scholar 

  • Hecht, T. and Katrinak, T. (1974), Free double Stone algebras, Colloq. Math. Soc. Janos Bolyai 14, Lattice Theory, 77–95. #201#

    MathSciNet  MATH  Google Scholar 

  • Heyting, A. (1930), Die Formalen Regeln der intuitionistischen Logik, Sitzungsberichte der Preussischen Akademie der Wissenschaften zu Berlin, 42–46. #187#

    Google Scholar 

  • Horn, A. (1962), The separation theorem of intuitionist propositional calculus, J. Symbolic Logic 27, 391–399. #101#

    Article  MathSciNet  MATH  Google Scholar 

  • Horn, A. (1969), Free L-algebras, J. Symbolic Logic 34, 475–480. #182# #187#

    Article  MathSciNet  MATH  Google Scholar 

  • Hulanicki A. and Swierczkowski S. (1960), Number of algebras with a given set of elements, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys. 8, 283–284.

    MathSciNet  MATH  Google Scholar 

  • Iseki, K. (1966), An algebra related with a propostional calculus, Proc. Japan Acad. 42, 26–29. #095# #101# #105#

    Article  MathSciNet  MATH  Google Scholar 

  • Jablonskii, S.V. (1958), Functional constructions in k-valued logic, (in Russian), Trudy Mat. Inst. Steklov 51, 5–142. #072# #162# #212# #220# #229# #230# #234#

    MathSciNet  Google Scholar 

  • Jaskowski, S. (1936), Recherches sur le systeme de la logique intuitioniste, translated in McCall (1967), 259–263. #101#

    Google Scholar 

  • Jezek, J. and Kepka, T. (1978), Quasitrivial and nearly quasitrivial distributive groupoids and semigroups, Acta Univ. Carolinae 19, 25–44. #005#

    MathSciNet  MATH  Google Scholar 

  • John, R. (1976), On classes of algebras definable by regular equations, Colloq. Math. 36, 17–21.

    MathSciNet  MATH  Google Scholar 

  • Jones, G.T. (1972), Pseudocomplemented Semilattices, Ph.D. Thesis, UCLA. #176#

    Google Scholar 

  • Jones, G.T. (1974), Projective pseudocomplemented lattices, Pacific J. Math. 52, 443–456. #176#

    Article  MathSciNet  Google Scholar 

  • Jonsson, B. and Nelson, E. (1974), Relatively free products in regular varieties, Algebra Universalis 4, 14–19.

    Article  MathSciNet  MATH  Google Scholar 

  • Kabat, W.C. and Wojcik, A.S. (1981), Further results on the logic design of multiple valued circuits using and automated theorem proving system, 11-th ISMVL, Norman, Oklahoma, 135–145. #047#

    Google Scholar 

  • Kabzinski, J. (1979), On equivalential fragment of the three-valued logic of Lukasiewicz, BSL 8, 182–187. #099#

    MathSciNet  MATH  Google Scholar 

  • Kabzinski, J. and Wronski, A. (1975), On equivalential algebras, 5-th ISMVL, Bloomington, Indiana, 419–428. #099#

    Google Scholar 

  • Kaiser, H.K. (1975), On a problem in the theory of primal algebras, Algebra Universalis 5, 307–311. #004# #072#

    Article  MathSciNet  MATH  Google Scholar 

  • Kalman, J.A. (1980), The join of the varieties of implication algebras and semilattices, Math. Chronicle 9, 41–52. #046#

    MathSciNet  MATH  Google Scholar 

  • Karnofsky, J. (1968), Some results on finite equational bases for finite algebras, Seminar notes, Univ. California Berkeley, 1–22. #076#

    Google Scholar 

  • Katrinak, T. (1974), Injective double Stone algebras, Algebra Universalis 4, 259–267. #201#

    Article  MathSciNet  MATH  Google Scholar 

  • Keir, Y. (1964), Algebraic properties of 3-valued compositions, IEEE Trans. Electronic Computers EC-13, 636–639. #019# #031#

    Google Scholar 

  • Kepka, T. (1981), Notes on left distributive groupoids, Acta Univ. Carolinae 22, 23–27. #006# #007# #010# #016# #058#

    MathSciNet  MATH  Google Scholar 

  • Kepka, T. (1981a), Quasitrivial groupoids and balanced identities, Acta Univ. Carolinae 22, 49–64. #004# #005# #007# #010# #011# #021#

    MathSciNet  MATH  Google Scholar 

  • Kleene, S. (1952), Introduction to Metamathematics, Van Nostrand, New York. #084# #140# #149# #222#

    MATH  Google Scholar 

  • Klein-Barmen, F. (1953), Pseudoverband und Flechtwerk, Math. Ann. 126, 138–143. #113#

    Article  MathSciNet  MATH  Google Scholar 

  • Klukovits, L. (1973), On commutative universal algebras, Acta Sci. Math. Szeged 34, 171–174. #100#

    MathSciNet  MATH  Google Scholar 

  • Kohler, P. (1973), Freie endlich erzeugte Heyting-Algebren, Diplomarbeit, Justus Leibig Universitat, Giessen. #103# #187#

    Google Scholar 

  • Kohler, P. (1975), Varieties of Brouwerian Algebras, Mitt. Math. Sem. Giessen 116, 1–83. #103# #187#

    MathSciNet  MATH  Google Scholar 

  • Kollar, J. (1980), Injectivity and congruence extension property in congruence distributive equational classes, Algebra Universalis 10, 21–26. #195#

    Article  MathSciNet  MATH  Google Scholar 

  • Kolpakov, V.I. (1974), Subalgebras of monotonic functions in the algebra of Post, (in Russian), Diskret. Analiz 24, 30–45. #217#

    MathSciNet  Google Scholar 

  • Lakser, H., Padmanabhan, R. and Platt, C.R. (1972), Subdirect decomposition of Plonka sums, Duke Math. J. 39, 485–488.

    Article  MathSciNet  MATH  Google Scholar 

  • Landholt, W.D. and Whaley, T.P. (1974), Relatively free implicative semilattices, Algebra Universalis 4, 166–184. #103#

    Article  MathSciNet  MATH  Google Scholar 

  • Lau, D. (1980), Submaximale Klassen von P3, WPU Rostock, preprint. #230#

    Google Scholar 

  • Leigh, V. (1972), Self dual set of unary and binary connectives for the 3-valued propostional calculus, ZMLG 18, 201–204. #014#

    MathSciNet  MATH  Google Scholar 

  • Lukasiewicz, J. (1920), On three valued logic, (in Polish), Ruch Filozoficzny 5, 170–171. Translated in Borkowski (1970), 87–88. #201#

    Google Scholar 

  • Lukasiewicz, J. (1939), The equivalential calculus. Translated in Borkowski (1970), 250–277. #100#

    Google Scholar 

  • Lukasiewicz, J. (1953), A system of modal logic, J. of Computing Systems 1, 111–149. #196#

    MathSciNet  MATH  Google Scholar 

  • Machida, H. (1979), On closed sets of three-valued monotone logical functions, Colloq. Math. Soc. Janos Bolyai 28, Finite Algebra and Multiple-valued Logic, 441–467, North-Holland, Amsterdam (1981). #216# #217#

    Google Scholar 

  • Malcev, I.A. (1972), Some properties of cellular subalgebras of a Post algebra and their basic cells, (in Russian), Algebra i Logika 11, 571–587. Translated in Algebra and Logic 11, 315–325. #233#

    MathSciNet  Google Scholar 

  • Malcev, I.A. (1973), Certain properties of cells of Post algebras, (in Russian), Diskret. Analiz 23, 24–31. #233#

    MathSciNet  Google Scholar 

  • Marczewski, E. (1964), The number of independent elements in abstract algebras with unary or binary operations, Colloq. Math. 12, 723–727. #014#

    MathSciNet  MATH  Google Scholar 

  • Marczewski, E. (1966), Independence in abstract algebras — results and problems, Colloq. Math. 14, 169–188.

    MathSciNet  MATH  Google Scholar 

  • McCall, S. (1962), A simple decision procedure for one variable implication/negation formulae in intuitionist logic, NDJFL 3, 120–122. #182#

    MathSciNet  MATH  Google Scholar 

  • McCall, S. (1967), Polish Logic: 1920–1939, Clarendon Press, Oxford.

    MATH  Google Scholar 

  • McCarthy, J. (1963), Predicate calculus with "undefined" as a truth value, Stanford Artificial Intelligence Project, Memo 1, 1–3. #058# #083# #201#

    Google Scholar 

  • McKenzie, R. (1982), Letter to J. Berman, July 1982. #072# #229#

    Google Scholar 

  • McKinsey, J.C.C. (1936), On the generation of the functions Cpq and Np of Lukasiewicz and Tarski by means of a single binary operation, Bull. Amer. Math. Soc. 42, 849–851. #201#

    Article  MathSciNet  MATH  Google Scholar 

  • McNab, D. (1981), Modal operators on Heyting algebras, Algebra Universalis 12, 5–29. #229#

    Article  MathSciNet  Google Scholar 

  • Meredith, C. A. (1969), Equational postulates for the Sheffer stroke, NDJFL 10, 266–270. #084#

    MathSciNet  MATH  Google Scholar 

  • Meredith, C.A. (1953), Single axioms for the systems (C,N), (C,O) and (A,N) of the two valued calculus, J. Computer Systems 1, 155–164. #194#

    MathSciNet  Google Scholar 

  • Meyer, R.K. and Parks, Z. (1972), Independent axioms for the implicational fragment of Sobocinski's three-valued logic, ZMLG 18, 291–295. #150#

    MathSciNet  MATH  Google Scholar 

  • Mitschke, A. (1971), Implication algebras are 3-permutable and 3-distributive, Algebra Universalis 1, 182–186. #095#

    Article  MathSciNet  MATH  Google Scholar 

  • Moisil, G. (1969), The Algebraic Theory of Switching Circuits, Pergemon Press, Oxford.

    MATH  Google Scholar 

  • Moisil, G. (1940), Recherches sur les logiques non-chrysippiennes, Ann. Sci. Univ. Jassy 26, 431–436. #201#

    MathSciNet  MATH  Google Scholar 

  • Monteiro, L. (1972), Algebre du calcul propostionel trivalent de Heyting, Fund. Math. 74, 99–109. #187#

    MathSciNet  MATH  Google Scholar 

  • Monteiro, L. and Pico, D. (1963), Les reticulees de Morgan et l'operation de Sheffer, Bull. Acad. Polon. Sci 11, 355–357. #084#

    MATH  Google Scholar 

  • Moraga, C. (1975), Hybrid Logic (A fast ternary adder), 5-th ISMVL, Bloomington, Indiana, 344–358. #036# #045# #108# #113#

    Google Scholar 

  • Mortensen, C. (1978), A theorem of versimilitude, BSL 7, 34–43. #064#

    MathSciNet  MATH  Google Scholar 

  • Motil, J.M. (1974), A multiple-valued digital "saturation" system, 4-th ISMVL, Morgantown, W. Virginia, 483–491. #078#

    Google Scholar 

  • Mouftah, H.T. and Jordan, I.B. (1974), Integrated circuits for ternary logic, 4-th ISMVL, Morgantown, W. Virginia, 285–302. #084#

    Google Scholar 

  • Muehldorf, E. (1960), Multivalued switching algebras and their application in digital systems, Proc. National Electronics Conference 15, 467–480. #151#

    Google Scholar 

  • Mukaidono, M. (1981), A set of independent and complete axioms for a fuzzy algebra (Kleene Algebra), 11-th ISMVL, Norman, Oklahoma, 27–34. #073#

    Google Scholar 

  • Mukaidono, M. (1982), New canonical forms and their applications to enumerating fuzzy switching functions, 12-th ISMVL, Paris, 275–279. #084#

    Google Scholar 

  • Murskii, V.L. (1965), The existence in three-valued logic of a closed class with a finite basis having no finite complete system of identities, (in Russian), Dokl. Akad. Nauk SSSR 163, 815–818. Translation in Soviet Math. 6 (1965), 1020–1024. #048#

    MathSciNet  Google Scholar 

  • Muzio, J.C. (1971), A decision process for 3-valued Sheffer functions II, ZMLG 17, 97–114. #218# #224# #226# #228#

    MathSciNet  Google Scholar 

  • Nemitz, W. and Whaley, T. (1971), Varieties of implicative semilattices, I, Pacific J. Math. 37, 759–769. #103#

    Article  MathSciNet  MATH  Google Scholar 

  • Padmanabhan, R. (1971), Regular identities in lattices, Trans. Amer. Math. Soc. 158, 179–188. #015# #017#

    Article  MathSciNet  MATH  Google Scholar 

  • Park, R.E. (1976), Equational Classes of Non-Associative Ordered Algebras, Ph.D. Thesis, UCLA. #004#

    Google Scholar 

  • Picard, S. (1935), Sur les fonctions defines dans les ensembles finis quelconques, Fund. Math. 24, 298–301. #232#

    Google Scholar 

  • Pierce, R.S. (1978), Symmetric groupoids, Osaka J. Math. 15, 51–76. #005#

    MathSciNet  MATH  Google Scholar 

  • Pigozzi, D. (1979), Minimal, locally-finite varieties that are not finitely axiomatizable, Algebra Universalis 9, 374–390. #135# #208# #215#

    Article  MathSciNet  MATH  Google Scholar 

  • Pirog-Rzepcka, K. (1973), A predicate calculus with formulas which lose sense and the corresponding propositional calculus, BSL 2, 22–29. #200#

    MathSciNet  Google Scholar 

  • Plonka, J. (1967), On a method of construction of abstract algebras, Fund. Math. 61, 183–189. #015#

    MathSciNet  MATH  Google Scholar 

  • Plonka, J. (1969), On equational classes of abstract algebras defined by regular equations, Fund. Math. 64, 241–247. #082#

    MathSciNet  MATH  Google Scholar 

  • Plonka, J. (1971), On algebras with n distinct essentially n-ary operations, Algebra Universalis 1, 73–79. #005#

    Article  MathSciNet  MATH  Google Scholar 

  • Plonka, J. (1971a), On free algebras and algebraic decompositions of algebras from some equational classes defined by regular equations, Algebra Universalis 1, 261–264. #015# #042# #046#

    Article  MathSciNet  MATH  Google Scholar 

  • Post, E.L. (1921), Introduction to a general theory of elementary propositions, Amer. J. Math. 43, 163–185. #066# #235#

    Article  MathSciNet  MATH  Google Scholar 

  • Post, E.L. (1941), The two valued iterative systems of mathematical logic, Annals of Math. Studies No. 5, Princeton Univ. Press, Princeton, New Jersey.

    MATH  Google Scholar 

  • Preparata, F. and Yeh, R. (1972), Continuously valued logic, J. Computer and System Sciences 6, 397–418. #084#

    Article  MathSciNet  MATH  Google Scholar 

  • Quackenbush, R.W. (1972), The triangle is functionally complete, Algebra Universalis 2, 128. #012#

    Article  MathSciNet  MATH  Google Scholar 

  • Quackenbush, R.W. (1974), Some classes of idempotent functions and their compositions, Colloq. Math. 29, 71–81. #034#

    MathSciNet  MATH  Google Scholar 

  • Quackenbush, R.W. (1976), Varieties of Steiner loops and Steiner quasigroups, Canad. J. Math. 28, 1187–1198. #003#

    Article  MathSciNet  MATH  Google Scholar 

  • Raca, M.F. (1966), A test for functional completeness in the logic corresponding to Jaskowski's first matrix, (in Russian), Doklady Akad. Nauk 168, 524–527. Translated in Soviet Math. 7 (1966), 683–687. #187#

    MathSciNet  MATH  Google Scholar 

  • Raca, M.F. (1969), The class of functions of the three-valued logic that corresponds to the first matrix of Jaskowski, (in Russian), Problemy Kibernetiki 21, 185–214. #096# #130# #142# #177# #185# #187#

    MathSciNet  Google Scholar 

  • Rasiowa, H. and Sikorski, R. (1963), The Mathematics of Metamathematics, Polish Scientific Publishers, Warsaw. #187#

    MATH  Google Scholar 

  • Reichenbach, H. (1944), Philosophical Foundations of Quantum Mechanics, University of California Press, Berkeley, California. #039# #112# #151#

    Google Scholar 

  • Rescher, N. (1969), Many-valued Logic, McGraw-Hill, New York. #036# #038# #043# #075# #081# #082# #109# #112# #117# #144# #156# #157# #171# #173# #235#

    MATH  Google Scholar 

  • Rielak, P. (1974), On functions definable in implicational algebras, BSL 3, 24–26. #101#

    MathSciNet  Google Scholar 

  • Robinson, D.F. (1971), A catalogue of binary operations, The New Zealand Mathematics Magazine 8, 2–11. #014#

    MathSciNet  Google Scholar 

  • Romanowska, A. (1980), Free bisemilattices with one distributive law, Demonstatio Mathematica 13, 565–572. #017#

    MathSciNet  MATH  Google Scholar 

  • Romanowska, A. (1981), Subdirectly irreducible pseudocomplemented de Morgan algebras, Algebra Universalis 70–75. #201#

    Google Scholar 

  • Rose, A. (1953), A formalization of Sobocinski's three-valued implicational propositional calculus, J. Computing Systems 1, 165–168. #064#

    MathSciNet  MATH  Google Scholar 

  • Rose, A. (1961), Self dual binary and ternary connectives for m-valued logic, Math. Ann. 143, 448–462. #014# #161#

    Article  MathSciNet  MATH  Google Scholar 

  • Rose, A. (1979), Many valued propositional calculi without constants, 9-th ISMVL, Bath, England, 128–134. #226#

    Google Scholar 

  • Rosenberg, I.G. (1976), Some algebraic and combinatorial aspects of multiple-valued circuits, 6-th ISMVL, Logan, Utah, 9–23. #190# #197# #201#

    Google Scholar 

  • Rosenberg, I.G. (1977), Completeness properties of multiple-valued logic algebras, in Computer Science and Multiple-valued Logic, Theory and application, North-Holland, 1977.

    Google Scholar 

  • Rosenberg, I.G. and Szendrei, A. (1981), Degrees of clones and relations, CRMA, Univ. de Montreal, preprint. #233#

    Google Scholar 

  • Rosser, J.B. and Turquette A.R. (1945), Axiom schemes for m-valued propositional calculi, J. Symbolic Logic 10, 61–82. #190# #193# #201#

    Article  MathSciNet  MATH  Google Scholar 

  • Saito, T. (1977), There are 18 linearly ordered semigroups of order 3, Bulletin of Tokyo Gakugei Univ. Ser. IV 29, 79. #027# #054#

    MathSciNet  MATH  Google Scholar 

  • Salomaa, A. (1959), On many-valued systems of logic, Ajatus 22, 115–159. #030# #109# #112# #150#

    MATH  Google Scholar 

  • Schmidt, E.T. (1972), On n-permutable equational classes, Acta Sci. Math. Szeged 33, 29–30. #210#

    MathSciNet  MATH  Google Scholar 

  • Schweigert, D. (1979), On prepolynomially complete algebras, J. London Math. Soc. 20, 179–185. #220#

    Article  MathSciNet  MATH  Google Scholar 

  • Sestakov, V.I. (1964), On the relationship between certain three valued logical calculi, (in Russian), Uspekhi Mat. Nauk 19, 177–181. MR 31, 2140. #084#

    MathSciNet  Google Scholar 

  • Sheffer, H.M. (1913), A set of five independent postulates for Boolean algebras with application to logical constants, Trans. Amer. Math. Soc. 14, 481–488. #129#

    Article  MathSciNet  MATH  Google Scholar 

  • Shoesmith, D.J. and Smiley, T.J. (1978), Multiple-conclusion Logic, Cambridge University Press, Cambridge, England. #196#

    Book  MATH  Google Scholar 

  • Skolem, T. (1952), Consideraciones sobre los fundamentos de la matematica, Revista Matematica Hispano-Americana 12, 169–200. MR 15, 92. #101#

    MathSciNet  Google Scholar 

  • Sloane, N.J.A. (1973), A Handbook of Integer Sequences, Academic Press, New York.

    MATH  Google Scholar 

  • Slupecki, J. (1936), The full three-valued propositional calculus. Translated in McCall (1967), 335–337. #180# #199# #201# #235#

    Google Scholar 

  • Smiley, T. (1962), The independence of connectives, Journal of Symbolic Logic 27, 426–436. #036# #173#

    Article  MathSciNet  MATH  Google Scholar 

  • Sobocinski, B. (1952), Axiomatization of a partial system of three-valued calculus of propositions, J. Computer Systems 1, 23–55. #064# #085#

    MathSciNet  MATH  Google Scholar 

  • Sobocinski, B. (1972), Certain sets of postulates for distributive lattices with constant elements, NDJFL 13, 119–123. #050# #055#

    MathSciNet  MATH  Google Scholar 

  • Sugihara, T. (1955), Strict implication free from implicational paradoxes, Memoirs of the Faculty of Liberal Arts, Fukui University, Series 1, 55–59. #064# #085# #086#

    Google Scholar 

  • Takasaki, M. (1943), Abstraction of symmetric transformations, (in Japanese), Tohoku Math. J. 49, 145–207. MR 9 p.8. #033#

    MathSciNet  Google Scholar 

  • Tamthai, M. and Chaiyakul, C. (1980), The endomorphism semigroup of algebras with reflexive elements, Algebra Universalis 11, 193–196. #082#

    Article  MathSciNet  MATH  Google Scholar 

  • Taylor, J.S. (1920), Sheffer's set of five postulates for Boolean algebras in terms of the operation "rejection" made completely independent, Bull. Amer. Math. Soc. 26, 449–454. #158# #164#

    Article  MathSciNet  MATH  Google Scholar 

  • Taylor, W. (1973), Characterizing Mal'cev conditions, Algebra Universalis 3, 351–397.

    Article  MathSciNet  MATH  Google Scholar 

  • Taylor, W. (1976), Pure compactifications in quasi-primal varieties, Canad. J. Math. 28, 50–62. #006# #176#

    Article  MathSciNet  MATH  Google Scholar 

  • Taylor, W. (1977), Letter to J. Baldwin, December, 1977. #108#

    Google Scholar 

  • Thelliez, S. (1973), Introduction a l'Etude des Structures Ternaires de Communication. Translated by W.G. Stripp, Gordon and Breach, 1975. #132#

    Google Scholar 

  • Thomas, I. (1962), The rule of excision in positive implication, NDJFL 3, 64. #150#

    MathSciNet  Google Scholar 

  • Tokharz, M. (1975), Functions definable in Sugihara algebras and their fragments (I), Studia Logica 34, 295–304. #064# #085# #086#

    Article  MathSciNet  Google Scholar 

  • Tokharz, M. (1976), Functions definable in Sugihara algebras and their fragments (II), Studia Logica 35, 279–283.

    Article  MathSciNet  Google Scholar 

  • Turquette, A.R. (1966), A method for constructing implication logics, ZMLG 12, 267–278. #139#

    MathSciNet  MATH  Google Scholar 

  • Urbanik, K. (1965), On algebraic operations in idempotent algebras, Colloq. Math. 13, 129–157. #003#

    MathSciNet  MATH  Google Scholar 

  • Urquhart, A. (1974), Implicational formulas in intuitionistic logic, J. Symbolic Logic 39, 661–664. #101#

    Article  MathSciNet  MATH  Google Scholar 

  • Ursini, A. (1979), Intuitionistic diagonalizable algebras, Algebra Universalis 9, 229–237. #229#

    Article  MathSciNet  MATH  Google Scholar 

  • Varlet, J. (1972), A regular variety of type 〈2,2,1,1,0,0〉, Algebra Universalis 2, 218–223. #201#

    Article  MathSciNet  MATH  Google Scholar 

  • Wajsberg, M. (1937), Contributions to metalogic. Translated in McCall(1967), 285–318. #153# #191#

    Google Scholar 

  • Webb, D.L. (1936), Definition of Posts generalized negative and maximum in terms of one binary operation, Amer. J. Math. 58, 193–194. #235#

    Article  MathSciNet  MATH  Google Scholar 

  • Werner, H. (1978), Discriminator-Algebras, Akademie-Verlag, Berlin. #159#

    MATH  Google Scholar 

  • Wesselkamper, T. (1974), Some completeness results for Abelian semigroups and groups, 4-th ISMVL, Morgantown, W. Virginia, 393–400. #109# #120#

    Google Scholar 

  • Winker, S. (1981), Letter to J. Berman, October 1981. #005#

    Google Scholar 

  • Winker, S. and Berman, J. (1979), Finite basis and related results for an upper bound algebra, Notices Amer. Math. Soc. 26, A-427. #004#

    Google Scholar 

  • Wojciechowski, W. and Wojcik, A.S. (1979), Multiple valued logic design by theorem proving, 9-th ISMVL, Bath, England, 196–199. #132#

    Google Scholar 

  • Wojtylak, P. (1979), Strongly finite logics: Finite axiomatizability and the problem of supremum, BSL 8, 99–111. #147#

    MathSciNet  MATH  Google Scholar 

  • Wolf, R.G. (1977), A survey of many-valued logic (1966–1974), Appendix 1 in Modern Uses of Multiple-valued Logic, ed. by J.M. Dunn and G. Epstein, Reidel Pub., Dortecht, 167–323.

    Google Scholar 

  • Wronski, A. (1979), A three element matrix whose consequence operation is not finitely based, BSL 8, 68–71. #091#

    MathSciNet  MATH  Google Scholar 

  • Yoeli, M. and Rosenfeld, G. (1965), Logical design of ternary switching circuits, IEEE Transactions on Electronic Computers EC-14, 19–29. #235#

    Article  MATH  Google Scholar 

  • Zakrzewska, T. (1976), Some remarks on three-valued implicative sentential calculi, BSL 5, 9–12. #150# #191#

    MathSciNet  Google Scholar 

  • Zaslavskii, I.D. (1979), Realization of three-valued logical functions by means of recursive and Turing operators, (in Russian), Studies in the theory of algorithms and mathematical logic, Nauka, Moscow, 52–61. MR 81i:03031. #083# #163# #231#

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Statistics, and Computer Science, University of Illinois at Chicago, 60680, Chicago, Illinois, USA

    Joel Berman

Authors
  1. Joel Berman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ralph S. Freese Octavio C. Garcia

Rights and permissions

Reprints and permissions

Copyright information

© 1983 Springer-Verlag

About this paper

Cite this paper

Berman, J. (1983). Free spectra of 3-element algebras. In: Freese, R.S., Garcia, O.C. (eds) Universal Algebra and Lattice Theory. Lecture Notes in Mathematics, vol 1004. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0063428

Download citation

  • DOI: https://doi.org/10.1007/BFb0063428

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-12329-3

  • Online ISBN: 978-3-540-40954-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation