Keywords
- Modal Logic
- Predicate Symbol
- Reduction Theorem
- Elementary Chain
- Elementary Extension
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
ARRUDA, A.I. A survey of paraconsistent logic, Mathematical Logic in Latin America, North-Holland, Amsterdam, (1980), pp. 1–41.
ARRUDA, A.I. Aspects of the historical development of paraconsistent logic (To appear)
BORKOWSKI, L. (ed.) Selected Works of J. Łukasiewicz, North-Holland, Amsterdam (1970).
D’OTTAVIANO, I.M.L. & da Costa, N.C.A. Sur un problème de Jaśkowski, C.R. Acad.Sc.Paris, 270A (1970), pp. 1349–1343.
D’OTTAVIANO, I.M.L. The completeness and compactness of a three-valued first-order logic. To appear in Mathematical Logic, V Latinamerican Symposium on Mathematical Logic, Marcel-Dekker.
_____ Sobre uma teoría de modelos trivalente (Thesis) Universidade Estadual de Campinas, Campinas (1982).
ŁUKASIEWICZ, J. On the principle of contradiction in Aristotle, Review of Metaphysics XXIV (1971), pp. 485–509.
_____ Philosophische Bermerkungen zu mehrwertigen systemen des Aussagenkalkülls, C.R.Soc.Sci.Lett. Varsovie 23, (1930), pp. 51–57 (Translation to English in [3], pp. 153–178).
ŁUKASIEWICZ, J. & Tarski, A. Untersuchungen über den Aussagenkalküll, C.R.Soc. Sci.Lett.Varsovie 23 (1930) pp. 39–50 (Translation to English in [3], pp 131–152).
RASIOWA, H. An algebraic approach to non-classical logics, North Holland, Amsterdam (1974).
RESCHER, N. Many-valued logics, McGraw-Hill, N.York (1969).
ROSSER, J.B. & Turquette, A. Many-valued logics, North-Holland, Amsterdam (1952).
SHOENFIELD, J.R. Mathematical Logic. Addison Wesley, Reading (1967).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
D’Ottaviano, I.M.L. (1985). The model extension theorems for Л3-theories. In: Di Prisco, C.A. (eds) Methods in Mathematical Logic. Lecture Notes in Mathematics, vol 1130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0075310
Download citation
DOI: https://doi.org/10.1007/BFb0075310
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15236-1
Online ISBN: 978-3-540-39414-3
eBook Packages: Springer Book Archive
