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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
J.-Y. Beziau, Recherches sur la Logique Universelle. PhD Thesis, Department of Mathematics, University Denis Diderot, Paris, 1995.
J.-Y. Beziau, Sobre a verdade lögica. PhD Thesis, Department of Philosophy, University of São Paulo, São Paulo, 1996.
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.
J.-Y. Beziau, Logic may be simple (logic, congruence and algebra). Logic and Logical Philosophy, 5 (1997), 129–147.
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.
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.
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.
J.-Y. Beziau, La véritable portée du théorème de Lindenbaum-Asser. Logique et Analyse, 167–168 (1999), 341–359.
J.-Y. Beziau, From paraconsistent logic to universal logic. Sorites, 12 (2001), 5–32.
J.-Y. Beziau, Sequents and bivaluations. Logique et Analyse, 176 (2001), 373–394.
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.
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).
G. Birkhoff, Universal algebra. Comptes Rendus du Premier Congrès Canadien de Mathématiques, University of Toronto Press, Toronto, 1946, pp.310–326.
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.
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.
W.J. Blok and D. Pigozzi, Algebraizable logics. Mem. Amer. Math. Soc. 77 (1989).
S.L. Bloom, D.J. Brown and R. Suszko. Dissertationes Mathematicae, 102 (1973).
N. Bourbaki, The architecture of mathematics. American Mathematical Monthly, 57 (1950), 221–232.
L. Corry, Modern algebra and the rise of mathematical structures. Birkhäuser, Basel, 1996.
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.
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.
N.C.A. da Costa and J.-Y. Beziau, Théorie de la valuation. Logique et Analyse, 145–146 (1994), 95–117.
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.
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.
H.B. Curry, Leçons de logique algébrique. Gauthier-Villars, Paris/Nauwelaerts, Louvain, 1952.
J. Czelakowski, Protoalgebraic logcis, Kluwer, Dordrecht, 2001.
K. Dosen and P. Schröder-Heister, Substructural logics. Clarendon, Oxford, 1993.
G. Gentzen, Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen, Mathematische Annalen, 107 (1932), 329–350.
J.-Y. Girard, Linear logic. Theoretical Computer Science, 50 (1987), 1–112.
P. Hertz, Über Axiomensysteme für beliebige Satzsysteme, Mathematische Annalen, 101 (1929), 457–514.
J. Łoś, O matrycach logicznych. Travaux de la Société des Sciences et des Lettres de Wrocław, Série B, 19 (1949).
J. Łoś and R. Suszko, Remarks on sentential logics. Indigationes Mathematicae, 20 (1958), 177–183.
J. Łukasiewicz, O logice trójwartosciowej. Ruch Filozoficzny, 5 (1920), 170–171.
G. Malinowski, Many-valued logics. Clarendon, Oxford, 1993.
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.
F. Paoli, Substructural logics: a primer. Kluwer, Dordrecht, 2002.
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.
D.J. Shoesmith and T.J. Smiley, Multiple-conclusion logic. Cambridge University Press, Cambridge, 1978.
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.
R. Suszko, Remarks on Łukasiewicz's three-valued logic. Bulletin of the Section of Logic, 4 (1975), 377–380.
J.J. Sylvester, Lectures on the principles of universal algebra. American Journal of Mathematics, 6 (1884), 270–286.
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.
A. Tarski, Grundziüge des Systemankalkül, Erster Teil. Fundamenta mathematicae, 25 (1935), 503–526.
A. Tarski, O pojciu wynikania logicznego. Przeglad Folozoficzny, 39 (1936), 58–68.
A.N. Whitehead, A treatise on universal algebra. Cambridge University Press, Cambridge, 1898.
R. Wójcicki, Theory of logical calculi — Basic theory of consequence operations. Kluwer, Dordrecht, 1988.
J. Zygmunt, An essay in matrix semantics for consequence relations. Wydawnictwo Uniwersytetu Wroclawskiego, Wrocław, 1984.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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
DOI: https://doi.org/10.1007/3-7643-7304-0_1
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-7259-0
Online ISBN: 978-3-7643-7304-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)