Advertisement

How to Augment a Formal System with a Boolean Algebra Component

Chapter
Part of the Applied Logic Series book series (APLS, volume 10)

Abstract

Reasoning with Boolean Algebras is just propositional reasoning. This is well investigated and a lot of good algorithms have been developed. Other formal systems, for example mathematical programming for reasoning about arithmetical equation systems, are equally well developed. Combining such a system with a Boolean component where the Boolean expressions are interpreted as sets, would allow one to use arithmetical algorithms to reason about numerical features of sets.

Keywords

Boolean Algebra Formal System Boolean Variable Atomic Decomposition Additivity Axiom 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ackermann, W.: 1935, `Untersuchung über das Eliminationsproblem der mathematischen Logik’. Mathematische Annalen 110, 390–413.CrossRefGoogle Scholar
  2. Chellas, B. F.: 1980, Modal Logic: An Introduction. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
  3. Gabbay, D. M.: 1996, `An Overview of Fibred Semantics and The Combination of Logics’. In: F. B. K. Schulz (ed.): Proceedings of FroCoS’96, Frontiers of Combining Systems. pp. 1–56, Kluwer.Google Scholar
  4. Gabbay, D. M.: 1998, Fibring Logics Oxford University Press.Google Scholar
  5. Gabbay, D. M. and H. J. Ohlbach: 1992, `Quantifier elimination in second—order predicate logic’. In: B. Nebel, C. Rich, and W. Swartout (eds.): Principles of Knowledge Representation and Reasoning (KR92). pp. 425–435, Morgan Kaufmann.Google Scholar
  6. Jónsson, B. and A. Tarski: 1951, `Boolean Algebras with Operators, Part I’. American Journal of Mathematics 73, 891–939.CrossRefGoogle Scholar
  7. Stone, M. H.: 1936, `The Theory of Representations for Boolean Algebras’. Transactions of American Mathematical Society 40, 37–111.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1998

Authors and Affiliations

There are no affiliations available

Personalised recommendations