Abstract
Schemes of theorems are a well-known object of study in logic; general properties of first-order theories are expressible exactly by formula schemes. The study of such schemes goes back to the famous monograph [Henkin et al., 1971] which contains a thorough investigation of this field from an algebraic point of view. Monk’s [1965] study of substitutionless predicate logic goes in the same direction, as does the study of algebraic counterparts of logical systems (cf. [Blok and Pigozzi, 1989]). A significant part of the (algebraic) results about formula schemes known at present is contained in [Németi, 1987].
This is a preview of subscription content, log in via an institution to check access.
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
W.J. Blok and D. Pigozzi. Algebraizable logic. Memoirs of the Amer. Math. Soc., 396, 1989.
C.C. Chang and H.J. Keisler. Model Theory. North-Holland, Amsterdam, 1973.
A. Ehrenfeucht. Decidability of the theory of linear ordering relation. Notices Amer. Math. Soc, 6:268–269, 1959.
Yu.L. Ershov, I.A. Lavrov, A.D. Taimanov, and M.A. Taislin. Elementary theories. Uspechi Matematicheskich Nauk, 20:37–108, 1965. In Russian.
R. Fagin, J.Y. Halpern, and M.Y. Vardi. What is an inference rule? Journal of Symbolic Logic, 57:1018–1045, 1992.
S. Feferman and R. Vaught. The first-order properties of algebraic systems. Fundamentu Mathematicae, 47:57–103, 1959.
K. Fine. An ascending chain of S4 logics. Theoria, 40:110–116, 1974.
H. Friedman. One hundred and two problems in mathematical logic. Journal of Symbolic Logic, 40:113–130, 1975.
R.I. Goldblatt. Metamathematics of modal logic I. Reports on Mathematical Logic, 6:41–78, 1976.
L. Henkin, J.D. Monk, and A, Tarski. Cylindric Algebras. Part 1. Part 2. North-Holland, Amsterdam, 1971.
J.D. Monk. Substitutionless predicate logic with identity. Arch. Math. Logic Grundl., 7:353–358, 1965.
I. Németi. On varieties of cylindric algebras with applications to logic. Annals of Pure and Applied Logic, 36:235–277, 1987.
A. Pieczkowski. Undecidability of the homogeneous formulas of degree 3 of the predicate calculus. Studia Logica, 22:7–14, 1968.
W. Rautenberg. Klassische und nichtklassische Aussagenlogik. Braunschweig, Wiesbaden, Deutschland, 1979.
V.V. Rybakov. Bases of admissible rules of the modal system grz and of intuitionistic logic. Math. USSR Sbomic, 56:311–331, 1987.
V.V. Rybakov. Problems of admissibility and substitution, logical equations and restricted theories of free algebras. In Proc. of the 8-th Inter. Congress of Logic, Method. and Phil. of Science, pages 121–139, 1989.
V.V. Rybakov. Metatheories of first-order theories. In Proc. of the Fourth Asian Logic Conference, pages 16–17, CSK Educational Center, Tokyo, 1990.
V.V. Rybakov. Problems of substitution and admissibility in the modal system grz and intuitionistic calculus. Annals of Pure and Applied Logic, 50:71–106, 1990.
V.V. Rybakov. Poly-modal logic as metatheory of pure predicate calculus. In Abstracts of 9-th Intern. Congress of Logic, Meth. and Phil, of Science, page 158, 1991.
Y. Venema. Many-Dimensional Modal Logic. PhD thesis, Department of Mathematics and Computer Science, University of Amsterdam, 1991.
Y. Venema. Derivation rules as anti-axioms in modal logic. Journal of Symbolic Logic, 59:1003–1034, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Rybakov, V.V. (1997). Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic. In: de Rijke, M. (eds) Advances in Intensional Logic. Applied Logic Series, vol 7. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8879-9_4
Download citation
DOI: https://doi.org/10.1007/978-94-015-8879-9_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4897-4
Online ISBN: 978-94-015-8879-9
eBook Packages: Springer Book Archive