Zero-place operations and functional completeness, and the definition of new connectives

References

• Adam , A. 1968 . “ Truth functions and the problem of their realization by two-terminal graphs ” . Budapest : Akadémiai Kiadö .
   Google Scholar
• Birkhoff , G. and Lipson , J.D. 1970 . Heterogeneous algebras . Journal of combinatorial theory , 8 : 115 – 133 .
   Google Scholar
• De Bouvère , K.L. 1959 . “ A method in proofs of undefinability ” . Amsterdam : North-Holland .
   Google Scholar
• Burris , S. and Sankappanavar , H.P. 1981 . “ A course in universal algebra ” . Berlin : Springer .
   Google Scholar
• Church , A. 1956 . “ Introduction to mathematical logic ” . Vol. 1 , Princeton University Press .
   Google Scholar
• Čimev , K.N. 1979 . “ On some properties of functions ” . 97 – 110 . Csá;kány and Rosenberg .
   Google Scholar
• Clark , D. and Werner , H. 1979 . “ Affine completeness in semiprimal varieties ” . 809 – 823 . Csákány and Rosenberg .
   Google Scholar
• Copi , I.M. 1956 . Another variant of natural deduction . Journal of Symbolic Logic , 21 : 52 – 55 .
   Google Scholar
• Corcoran , J. 1971 . A semantic definition of definition (Abstract) . Journal of symbolic logic , 36 : 366 – 367 .
   Google Scholar
• Csákány , B. 1979 . “ Finite algebra and multiple-valued logic ” . In Colloquia Mathematica Societatis János Bolyai , Edited by: Rosenberg , I. Amsterdam : North-Holland .
   Google Scholar
• Denecke , K. 1952 . Preprimal algebras , Vol. 11 , Berlin : DDR (Akademie) . Mathematische Forschung series
   Google Scholar
• Ebbinghaus , H.D. , Flum , J. and Thomas , W. 1984 . Mathematical logic , Berlin : Springer .
   Google Scholar
• Enderton , H.B. 1972 . A mathematical introduction to logic , Boston : Academic Press .
   Google Scholar
• Graham , R.L. 1967 . On n-valued functionally complete truth functions . Journal of symbolic logic , 32 : 190 – 195 .
   Google Scholar
• Grätzer , G. 1965 . Universal algebra , Englewood Cliffs, N.J : Van Nostrand .
   Google Scholar
• Gupta , A. 1989 . Remarks on definition and the concept of truth . Proceedings of the Aristotelian Society , 89 : 227 – 246 .
   Google Scholar
• Hébert , M. , Mckenzie , R.N. and Weaver , G.E. 1989 . Two Definability results in the Equational Context . Proceedings of the American Mathematical Society , 107 : 46 – 53 .
   Google Scholar
• Henkin , L. , Monk , J.D. and Tarski , A. 1977 . Cylindric algebras, Part I , Amsterdam : North-Holland . containing an introductory chapter:General theory of algebras
   Google Scholar
• Humberstone , I.L. 1986 . Extensionality in sentence position . Journal of philosophical logic , 15 : 27 – 54 .
   Google Scholar
• Jurcic , J. 1987 . On defining sentential connectives . Notre Dame journal of formal logic , 28 : 189 – 199 .
   Google Scholar
• Makinson , D.C. 1973 . A warning about the choice of primitive operators in modal logic . Journal of philosophical logic , 2 : 193 – 196 .
   Google Scholar
• Malcev , A.I. 1973 . Algebraic systems , Berlin : Springer .
   Google Scholar
• Mates , B. 1965 . Elementary logic , Oxford : Clarendon Press .
   Google Scholar
• Meyer , R.K. 1974 . Entailment is not strict implication . Australasian journal of philosophy , 52 : 211 – 231 .
   Google Scholar
• Milberger , M. 1978 . The minimal modal logic:a cautionary tale about primitives and definitions . Notre Dame journal of formal logic , 19 : 486 – 488 .
   Google Scholar
• Porte , J. 1980 . Congruences in Lemmon’s S0.5 . Notre Dame journal of formal logic , 21 : 672 – 678 .
   Google Scholar
• Pöschel , R. 1956 . “ Cryptomorphisms of non-indexed algebras and relational structures ” . In Lectures in universal algebra , Edited by: Szabö , L. and Szendrei , Á. Vol. 43 , 365 – 404 . Amsterdam : North-Holland . Colloquia Mathematica Societatis Jânos Bolyai
   Google Scholar
• Post , E.L. 1947 . The two-valued iterative systems of mathematical logic , Vol. 5 , Princeton : University Press . Princeton Annals of Mathematics Series
   Google Scholar
• Prior , A. 1956 . “ Definitions, rules and axioms, Prior ” . In Papers in logic and ethics , London : Duckworth .
   Google Scholar
• Rantala , V. 1977 . Aspects of definability . Acta Philosophica Fennica , 29 ( 2-3 )
   Google Scholar
• Rescher , N. 1969 . Many-valued logic , New York : McGraw-Hill .
   Google Scholar
• Rhodes , J. 1991 . Monoids and semigroups, with applications , Singapore : World Scientific .
   Google Scholar
• Rickey , V.F. 1975a . Creative definitions in propositional calculi . Notre Dame journal of formal logic , 16 : 273 – 294 .
   Google Scholar
• Rickey , V.F. 1975b . On creative definitions in the Principia Mathematica . Logique et analyse , 18 : 175 – 182 .
   Google Scholar
• Rosenberg , I.G. 1977 . “ Completeness properties of multiple-valued logic algebras ” . In Computer Science and multiple-valued logic , Edited by: Rine , D.C. 144 – 186 . Amsterdam : North-Holland .
   Google Scholar
• Rosićky , J. and Polák , L. 1979 . Implicit operations on finite algebras , 653 – 668 . Csâkâny Rosenberg .
   Google Scholar
• Rosser , J.B. and Turquette , A.R. 1958 . Many-valued logics , Amsterdam : North-Holland .
   Google Scholar
• Sadovsky , V.N. and Smirnov , V.A. 1977 . “ Definability and identifiability:certain problems and hypothesis ” . In Basic problems in methodology and linguistics , Edited by: Butts , R. and Hintikka , J. 63 – 80 . Dordrecht : Reidel .
   Google Scholar
• Schmidt , J. 1962 . On the definition of algebraic operations in finitary algebras . Colloquium Mathematicae , 9 : 189 – 197 .
   Google Scholar
• Segerberg , K. 1982 . Classical propositional operators , Oxford : Clarendon Press .
   Google Scholar
• Shoenfield , J.R. 1967 . Mathematical logic , New York : Addison-Wesley .
   Google Scholar
• Shoesmith , D.J. and Smiley , T.J. 1978 . Multiple-conclusion logic , Cambridge : University Press .
   Google Scholar
• Smiley , T.J. 1962 . The independence of connectives . Journal of symbolic logic , 27 : 426 – 436 .
   Google Scholar
• Suppes , P. 1957 . Introduction to logic , Englewood Cliffs, N.J : Van Nostrand .
   Google Scholar
• Tarski , A. Equational logic and equational theories of algebras’, in Contributions to mathematical logic . proceedings of the Logic Colloquium, Hannover 1966 . Edited by: Schmidt , H.A. , Schütte , K. and Thiele , H.J. pp. 275 – 288 . Amsterdam : North-Holland .
   Google Scholar
• Thurston , H.A. 1958 . Derived operations and congruences . Proceedings Of The London Mathematical Society , 8 ( 3 ) : 127 – 134 .
   Google Scholar
• Tichý , P. 1971 . On the vicious circle in definitions . Studia logica , 28 ( 3 ) : 19 – 38 .
   Google Scholar
• Žembery , I. 1986 . Almost equational classes of algebras . Algebra Universalis , 23 ( 3 ) : 293 – 307 .
   Google Scholar