Abstract
Herein those formulae of first-order logic which involve at least one of the logical constants: ~, &, v, (x), (Ex), will be considered. If there are other logical constants in a formula, it should be transformed into an equivalent form containing only those mentioned above.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Copi, I.M.: Symbolic Logic, New York 1954, Macmillan (4th ed. 1972 ).
Hilbert, D., W. Ackermann: Grundzüge der theoretischen Logik, Berlin 1928, Springer (3rd ed., rev., Berlin 1949, Springer). Engl. trans. of the 2nd ed. (1938), Principles of Mathematical Logic, New York 1950, Chelsea.
Kleene, S.C.: Introduction to Metamathematics, Amsterdam/Groningen 1952, North-Holland Publishing/Noordhoff.
Sikorski, R.: Boolean Algebras, Berlin 1960, Springer.
McKinsey, J.C.C., A. Tarski: “On closed elements in closure algebras”, Annals of Mathematics, 47, 1946, 122–162.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Marciszewski, W. (1981). Duality. In: Marciszewski, W. (eds) Dictionary of Logic as Applied in the Study of Language. Nijhoff International Philosophy Series, vol 9. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1253-8_26
Download citation
DOI: https://doi.org/10.1007/978-94-017-1253-8_26
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8257-2
Online ISBN: 978-94-017-1253-8
eBook Packages: Springer Book Archive