Abstract
Negation, conjunction and disjunction (as the defined expressions “neg”, “conj” and “disj” are to be read, given that the universe of discourse consists precisely of all states of affairs) are Boolean functional terms; for we can prove:
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
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Meixner, U. (1997). Theorems for Negation, Conjunction and Disjunction. In: Axiomatic Formal Ontology. Synthese Library, vol 264. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8867-6_9
Download citation
DOI: https://doi.org/10.1007/978-94-015-8867-6_9
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4898-1
Online ISBN: 978-94-015-8867-6
eBook Packages: Springer Book Archive