Skip to main content
SpringerLink
Log in

From Consequence Operator to Universal Logic: A Survey of General Abstract Logic

  • Conference paper
Book cover Logica Universalis

Abstract

We present an overview of the different frameworks and structures that have been proposed during the last century in order to develop a general theory of logics. This includes Tarski's consequence operator, logical matrices, Hertz's Satzsysteme, Gentzen's sequent calculus, Suszko's abstract logic, algebraic logic, da Costa's theory of valuation and universal logic itself.

This research was supported by a grant of the Swiss National Science Foundation. I would like to thank Newton da Costa and Alexandre Costa-Leite for useful comments.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

References

  1. J.-Y. Beziau, Universal Logic. Proceedings of the 8th International Colloquium — Logica'94, T. Childers and O. Majer (eds), Czech Academy of Sciences, Prague, 2004, pp.73–93.

    Google Scholar 

  2. J.-Y. Beziau, Recherches sur la Logique Universelle. PhD Thesis, Department of Mathematics, University Denis Diderot, Paris, 1995.

    Google Scholar 

  3. J.-Y. Beziau, Sobre a verdade lögica. PhD Thesis, Department of Philosophy, University of São Paulo, São Paulo, 1996.

    Google Scholar 

  4. J.-Y. Beziau, What is many-valued logic? Proceedings of the 27th International Symposium on multiple-valued logic, IEEE Computer Society, Los Alamitos, 1997, pp.117–121.

    Google Scholar 

  5. J.-Y. Beziau, Logic may be simple (logic, congruence and algebra). Logic and Logical Philosophy, 5 (1997), 129–147.

    MATH  MathSciNet  Google Scholar 

  6. J.-Y. Beziau, Classical negation can be expressed by one of its halves. Logic Journal of the Interest Group in Pure and Applied Logics, 7 (1999), 145–151.

    MATH  MathSciNet  Google Scholar 

  7. J.-Y. Beziau, A sequent calculus for Lukasiewicz's three-valued logic based on Suszko's bivalent semantics. Bulletin of the Section of Logic, 28 (1999), 89–97.

    MATH  MathSciNet  Google Scholar 

  8. J.-Y. Beziau, Rules, derived rules, permissible rules and the various types of systems of deduction. in Proof, types and categories, PUC, Rio de Janeiro, 1999, pp. 159–184.

    Google Scholar 

  9. J.-Y. Beziau, La véritable portée du théorème de Lindenbaum-Asser. Logique et Analyse, 167–168 (1999), 341–359.

    MathSciNet  Google Scholar 

  10. J.-Y. Beziau, From paraconsistent logic to universal logic. Sorites, 12 (2001), 5–32.

    MathSciNet  Google Scholar 

  11. J.-Y. Beziau, Sequents and bivaluations. Logique et Analyse, 176 (2001), 373–394.

    MATH  MathSciNet  Google Scholar 

  12. J.-Y. Beziau, The philosophical import of Polish logic. Logic, Methodology and Philosophy of Science at Warsaw University, M. Talasiewicz (ed), Warsaw, 2002, pp.109–124.

    Google Scholar 

  13. J.-Y. Beziau, R.P. de Freitas and J.P. Viana, What is classical propositional logic? (A study in universal logic). Logical Studies, 7 (2001).

    Google Scholar 

  14. G. Birkhoff, Universal algebra. Comptes Rendus du Premier Congrès Canadien de Mathématiques, University of Toronto Press, Toronto, 1946, pp.310–326.

    Google Scholar 

  15. G. Birkhoff, The rise of modern algebra to 1936 and The rise of modern algebra, 1936 to 1950, in Men and institutions in American mathematics, Graduate Studies, Texas Technical Studies, 13 (1976), pp.65–85 and pp.41–63.

    Google Scholar 

  16. G. Birkhoff, Universal algebra. Selected papers on algebra and topology by Garrett Birkhoff, G.-C. Rota and J.S. Oliveira (eds), Birkhäuser, Basel, 1987.

    Google Scholar 

  17. W.J. Blok and D. Pigozzi, Algebraizable logics. Mem. Amer. Math. Soc. 77 (1989).

    Google Scholar 

  18. S.L. Bloom, D.J. Brown and R. Suszko. Dissertationes Mathematicae, 102 (1973).

    Google Scholar 

  19. N. Bourbaki, The architecture of mathematics. American Mathematical Monthly, 57 (1950), 221–232.

    MATH  MathSciNet  Google Scholar 

  20. L. Corry, Modern algebra and the rise of mathematical structures. Birkhäuser, Basel, 1996.

    Google Scholar 

  21. N.C.A. da Costa, Calculs propositionnels pour les systèmes formels inconsistants. Comptes Rendus d l'Académie des Sciences de Paris, 257 1963, 3790–3793.

    MATH  Google Scholar 

  22. N.C.A. da Costa and E.H. Alves, A semantical analysis of the calculi C n . Notre Dame Journal of Formal Logic, 18 (1977), 621–630.

    MathSciNet  Google Scholar 

  23. N.C.A. da Costa and J.-Y. Beziau, Théorie de la valuation. Logique et Analyse, 145–146 (1994), 95–117.

    Google Scholar 

  24. N.C.A. da Costa and J.-Y. Beziau, La théorie de la valuation en question. Proceedings of the XI Latin American Symposium on Mathematical Logic (Part 2), Universidad Nacional del Sur, Bahia Blanca, 1994 pp.95–104.

    Google Scholar 

  25. N.C.A. da Costa, J.-Y. Beziau and O.A.S. Bueno, Malinowski and Suszko on many-valued logics: on the reduction of many-valuedness to two-valuedness. Modern Logic, 6(1996), pp.272–299.

    MathSciNet  Google Scholar 

  26. H.B. Curry, Leçons de logique algébrique. Gauthier-Villars, Paris/Nauwelaerts, Louvain, 1952.

    Google Scholar 

  27. J. Czelakowski, Protoalgebraic logcis, Kluwer, Dordrecht, 2001.

    Google Scholar 

  28. K. Dosen and P. Schröder-Heister, Substructural logics. Clarendon, Oxford, 1993.

    Google Scholar 

  29. G. Gentzen, Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen, Mathematische Annalen, 107 (1932), 329–350.

    MATH  MathSciNet  Google Scholar 

  30. J.-Y. Girard, Linear logic. Theoretical Computer Science, 50 (1987), 1–112.

    Article  MATH  MathSciNet  Google Scholar 

  31. P. Hertz, Über Axiomensysteme für beliebige Satzsysteme, Mathematische Annalen, 101 (1929), 457–514.

    Article  MATH  MathSciNet  Google Scholar 

  32. J. Łoś, O matrycach logicznych. Travaux de la Société des Sciences et des Lettres de Wrocław, Série B, 19 (1949).

    Google Scholar 

  33. J. Łoś and R. Suszko, Remarks on sentential logics. Indigationes Mathematicae, 20 (1958), 177–183.

    Google Scholar 

  34. J. Łukasiewicz, O logice trójwartosciowej. Ruch Filozoficzny, 5 (1920), 170–171.

    Google Scholar 

  35. G. Malinowski, Many-valued logics. Clarendon, Oxford, 1993.

    Google Scholar 

  36. J. Porte, Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs. Gauthier-Villars, Paris / Nauwelaerts, Louvain, 1965.

    Google Scholar 

  37. F. Paoli, Substructural logics: a primer. Kluwer, Dordrecht, 2002.

    Google Scholar 

  38. D.S. Scott, Completeness and axiomatizability in many-valued logic. Proceedings of the Tarski Symposium, L. Henkin (ed.), American Mathematical Society, Providence, 1974, pp.411–435.

    Google Scholar 

  39. D.J. Shoesmith and T.J. Smiley, Multiple-conclusion logic. Cambridge University Press, Cambridge, 1978.

    Google Scholar 

  40. S.J. Surma, Alternatives to the consequence-theoretic approach to metalogic. Proceedings of the IX Latin American Symposium on Mathematical Logic. (Part 2), Universidad Nacional del Sur, Bahia Blanca, 1994, pp.l–30.

    Google Scholar 

  41. R. Suszko, Remarks on Łukasiewicz's three-valued logic. Bulletin of the Section of Logic, 4 (1975), 377–380.

    Google Scholar 

  42. J.J. Sylvester, Lectures on the principles of universal algebra. American Journal of Mathematics, 6 (1884), 270–286.

    MATH  MathSciNet  Google Scholar 

  43. A. Tarski, Remarques sur les notions fondamentales de la méthodologie des mathématiques. Annales de la Société Polonaise de Mathématiques, 6 (1928), 270–271.

    Google Scholar 

  44. A. Tarski, Grundziüge des Systemankalkül, Erster Teil. Fundamenta mathematicae, 25 (1935), 503–526.

    MATH  Google Scholar 

  45. A. Tarski, O pojciu wynikania logicznego. Przeglad Folozoficzny, 39 (1936), 58–68.

    MATH  Google Scholar 

  46. A.N. Whitehead, A treatise on universal algebra. Cambridge University Press, Cambridge, 1898.

    Google Scholar 

  47. R. Wójcicki, Theory of logical calculi — Basic theory of consequence operations. Kluwer, Dordrecht, 1988.

    Google Scholar 

  48. J. Zygmunt, An essay in matrix semantics for consequence relations. Wydawnictwo Uniwersytetu Wroclawskiego, Wrocław, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Logic, University of Neuchâtel, Espace Louis Agassiz 1, 2000, Neuchâtel, Switzerland

    Jean-Yves Beziau

Authors
  1. Jean-Yves Beziau
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Logic, University of Neuchâtel, Espace Louis Agassiz 1, 2000, Neuchâtel, Switzerland

    Jean-Yves Beziau

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Birkhäuser Verlag Basel/Switzerland

About this paper

Cite this paper

Beziau, JY. (2005). From Consequence Operator to Universal Logic: A Survey of General Abstract Logic. In: Beziau, JY. (eds) Logica Universalis. Birkhäuser Basel. https://doi.org/10.1007/3-7643-7304-0_1

Download citation

Publish with us

Policies and ethics

Search

Navigation