Abstract
We suggest abstract model theory as a framework for universal logic. For this end we present basic concepts of abstract model theory in a general form which covers both classical and non-classical logics. This approach aims at unifying model-theoretic results covering as large a variety of examples as possible, in harmony with the general aim of universal logic.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Hajnal Andréka, István Németi, and Johan van Benthem. Modal languages and bounded fragments of predicate logic. J. Philos. Logic, 27(3):217–274, 1998.
K. Jon Barwise. Axioms for abstract model theory. Ann. Math. Logic, 7:221–265, 1974.
J. Barwise and S. Feferman, editors. Model-theoretic logics. Springer-Verlag, New York, 1985.
L. P. Belluce and C. C. Chang. A weak completeness theorem for infinite valued first-order logic. J. Symbolic Logic, 28:43–50, 1963.
Garrett Birkhoff. Lattice theory. Third edition. American Mathematical Society Colloquium Publications, Vol. XXV. American Mathematical Society, Providence, R.I., 1967.
Andreas Blass. A game semantics for linear logic. Ann. Pure Appl. Logic, 56(1–3):183–220, 1992.
Xavier Caicedo. On extensions of L ωω(Q 1). Notre Dame J. Formal Logic, 22(1):85–93, 1981.
C. C. Chang. A note on the two cardinal problem. Proc. Amer. Math. Soc., 16:1148–1155, 1965.
C. C. Chang. Modal model theory. In Cambridge Summer School in Mathematical Logic (Cambridge, 1971), pages 599–617. Lecture Notes in Math., Vol. 337. Springer, Berlin, 1973.
J. Flum. Characterizing logics. In Model-theoretic logics, Perspect. Math. Logic, pages 77–120. Springer, New York, 1985.
Marta García-Matos. Abstract model theory without negation. 2005. Doctoral thesis, University of Helsinki.
Kurt Gödel. Die vollstandigkeit der axiome des logischen funktionenkalklils. Monatshefte fur Mathematk und Physik, 37:349–360, 1930.
Petr Hájek. Metamathematics of fuzzy logic, volume 4 of Trends in Logic–Studia Logica Library. Kluwer Academic Publishers, Dordrecht, 1998.
Lars Hansen. Formalized token models and duality in semantics: an algebraic approach. J. Symbolic Logic, 69(2):443–477, 2004.
Leon Henkin. Completeness in the theory of types. J. Symbolic Logic, 15:81–91, 1950.
Jaakko Hintikka. The principles of mathematics revisited. Cambridge University Press, Cambridge, 1996. With an appendix by Gabriel Sandu.
T. Hyttinen. Model theory for infinite quantifier languages. Fundamenta Mathematicae, 134:125–142, 1990.
Jose Iovino. On the maximality of logics with approximations. Journal of Symbolic Logic, 66(4):1909–1918, 2001.
Carol R. Karp. Languages with expressions of infinite length. North-Holland Publishing Co., Amsterdam, 1964.
H. Jerome Keisler. Logic with the quantifier “there exist uncountably many”. Ann. Math. Logic, 1:1–93, 1970.
Saul A. Kripke. A completeness theorem in modal logic. J. Symb. Logic, 24:1–14, 1959.
Per Lindström. On extensions of elementary logic. Theoria, 35:1–11, 1969.
Steven Orey. On ω-consistency and related properties. J. Symb. Logic, 21:246–252, 1956.
R. Parikh and J. Väänänen. Finite information logic. Annals of Pure and Applied Logic. to appear.
E. L. Post. Introduction to a general theory of elementary propositions. American Journal Mathematics, 43:163–185, 1921.
Maarten de Rijke. A Lindström’s theorem for modal logic. In Modal Logic and Process Algebra, Lecture Notes 53, pages 217–230. CSLI Publications, Stanford, 1995.
J. H. Schmerl. Transfer theorems and their applications to logics. In Model-theoretic logics, Perspect. Math. Logic, pages 177–209. Springer, New York, 1985.
A. Schmidt. Über deduktive theorien mit mehren sorten von grunddingen. Mathematische Annalen, 115:485–506, 1928.
D. S. Scott. A decision method for validity of sentences in two variables. J. Symbolic Logic, 27:477, 1962.
Joseph Sgro. Maximal logics. Proceedings of the American Mathematical Society, 63(2):291–298, 1977.
Saharon Shelah. Two cardinal compactness. Israel Journal of Mathematics, 9:193–198, 1971.
Saharon Shelah. Generalized quantifiers and compact logic. Trans. Amer. Math. Soc., 204:342–364, 1975.
Saharon Shelah. The pair (ℵ n , ℵ0) may fail ℵ0-compactness. In Proceedings of LC’2001, volume submitted of Lecture Notes in Logic. ASL.
Saharon Shelah and Jouko Väänänen. A new infinitary languages with interpolation. to appear.
Saharon Shelah and Jouko Väänänen. Recursive logic frames. Mathematical Logic Quarterly, to appear.
C. I. Steinhorn. Borel structures and measure and category logics. In Model-theoretic logics, Perspect. Math. Logic, pages 579–596. Springer, New York, 1985.
Leslie H. Tharp. The characterization of monadic logic. J. Symb. Log., 38(3):481–488, 1973.
Jouko Väänänen. Pseudo-finite model theory. Mat. Contemp., 24:169–183, 2003. 8th Workshop on Logic, Language, Informations and Computation—WoLLIC’2001 (Brasília).
M. Ziegler. A language for topological structures which satisfies a Lindströmtheorem. Bull. Amer. Math. Soc., 82(4):568–570, 1976.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Birkhäuser Verlag Basel/Switzerland
About this paper
Cite this paper
García-Matos, M., Väänänen, J. (2007). Abstract Model Theory as a Framework for Universal Logic. In: Beziau, JY. (eds) Logica Universalis. Birkhäuser Basel. https://doi.org/10.1007/978-3-7643-8354-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-7643-8354-1_2
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-8353-4
Online ISBN: 978-3-7643-8354-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)