Abstract
We have introduced implicational quantifiers and weakly implicational quantifiers and rules in Chap. 7. Double implicational quantifiers and rules are introduced in a similar way. Again, it is easy to see that double implicational quantifiers are \(\cal M\)-independent and it is also reasonable to introduce weakly double implicational quantifiers.
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 subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Rauch, J. (2013). Double Implicational Rules. In: Observational Calculi and Association Rules. Studies in Computational Intelligence, vol 469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11737-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-11737-4_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11736-7
Online ISBN: 978-3-642-11737-4
eBook Packages: EngineeringEngineering (R0)