Abstract
We consider the notion of structural completeness with respect to arbitrary (finitary and/or infinitary) inferential rules. Our main task is to characterize structurally complete intermediate logics. We prove that the structurally complete extension of any pure implicational in termediate logic C can be given as an extension of C with a certain family of schematically denned infinitary rules; the same rules are used for each C. The cardinality of the family is continuum and, in the case of (the pure implicational fragment of) intuitionistic logic, the family cannot be reduced to a countable one. It means that the structurally complete extension of the intuitionistic logic is not countably axiomatizable by schematic rules.
Similar content being viewed by others
References
Diego, A. Sur les algebres de Hilbert, translated from the Spanish by L. Iturrioz, Collection de Logique Mathematique, Ser. A,Fasc.XXI, Gauthier — Villars, Paris, E. Nauwelaerts, Louvain, 1966, MR 33#7236.
Dziobiak, W., The degree of maximality of the intuitionistic propositional logic, Studia Logica 40 (1981) no. 2, 177–198.
Latocha, P., The problem of structural completeness of the intuitionistic propositional logic and its fragments, Reports on Mathematical Logic 16 (1983), 17–22.
Koś, J., Suszko, R., Remarks on, sentential logics, Indagationes Mathematicae 20 (1958), 177–183.
Makinson, D., A characterization of structural completeness of a structural consequence operation, Reports on Mathematical Logic 6 (1976), 99–101.
Minc, G.E., Derivability of admissible rules, Zap. Nauch. Sem. Leningrad Otdel. Math. Ins. Steklov. (LOMI) 32 (1972), 85–89, English translation in Journal of Soviet Mathematics 6 (1976), no. 4.
Pogorzelski, W.A., Structural completeness of the propositional calculus, Bulletin de l'Academie Polonaise des Sciences, serie des Sciences Mathematiques, Astronomiques et Physiques 19 (1971), 349–351.
Pogorzelski, W.A., Wojtylak, P., Elements of the theory of completeness in propositional logic, Silesian University, Katowice 1982.
Prucnal, T., On the structural completeness of some pure implicational calculi, Studia Logica 20 (1972), 45–52.
Prucnal, T., Structural completeness of purely implicational intermediate logics, (Salzburg 1983) in Foundations of Logic and Linguistic, Plenum, New York 1985, 31–41.
Rautenberg, W., A note on implicational intermediate consequences, Bulletin of the Section of Logic, Polish Academy of Sciences, Institute of Philosophy and Sociology, 14 (1985) no. 3, 103–108.
Rybakov, V.V., Decidability of admissibility in the modal system Grz and inintuitionistic logic, Math. USSR Izvestiya 50 (1986) no. 3, English translation Vol. 28 (1987) no. 3, 589–608.
Wójcicki, R., Theory of Logical Calculi, Kluwer Academic Publishers, Dordrecht, Boston, London 1988.
Wroński, A., On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic, Bulletin of the Section of Logic, Polish Academy of Sciences, Institute of Philosophy and Sociology, 15 (1986) no. 2, 48–51.
Author information
Authors and Affiliations
Additional information
This work was supported by the Polish Academy of Sciences, CPBP 08.15, “Struktura logiczna rozumowań niesformalizowanych”.
Rights and permissions
About this article
Cite this article
Wojtylak, P. On structural completeness of implicational logics. Stud Logica 50, 275–297 (1991). https://doi.org/10.1007/BF00370188
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370188