Abstract
This chapter discusses the notions of a logical system, a semantics for a logical system, and the notion of what is a classical connective in a logical system. Examples are given, to prepare the background for the introduction of the Heyting systems in the next chapter.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Notes
Scott, D., 1974: ‘Completeness and axiomatizability in many valued logic’, Proceedings of Tarski Symposium. Ed. L. Henkin et al. AMS, 411–435.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Gabbay, D.M. (1981). Logical Systems and Semantics. In: Semantical Investigations in Heyting’s Intuitionistic Logic. Synthese Library, vol 148. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2977-2_2
Download citation
DOI: https://doi.org/10.1007/978-94-017-2977-2_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8362-3
Online ISBN: 978-94-017-2977-2
eBook Packages: Springer Book Archive