Skip to main content
SpringerLink
Log in

Topological Aspects of Matrix Abduction 1

  • Chapter
  • First Online:
The Road to Universal Logic

Part of the book series: Studies in Universal Logic ((SUL))

  • 1068 Accesses

Abstract

A new method of abduction, matrix abduction, has been introduced in Abraham, M., Gabbay, D., Schild, U.: Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction. Studia Logica 92(3), 281–364 (2009). This method describes the Kal Vachomer and the Binyan Abh rules by using microscopic parameters which exist in the inputs of these rules. In order to find these parameters the method needs to calculate the minimal number of parameters that will describe the logical rule. In the current chapter, the matrix abduction method is formulated by Partially Orderd Sets (Posets). Consequently it is shown that the minimal number of parameters similarly defined to the dimension and k-dimension of Posets and a new poset dimension is defined which is the Kal Vachomer Dimension. In addition, several theorems and bounds of this dimension are shown.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Abraham, M., Gabbay, D., Schild, U.: Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction. Stud. Log. 92(3), 281–364 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  2. Anderson, I.: Combinatorics of Finite Sets. Clarendon Press, Oxford University Press, Oxford (1987)

    Google Scholar 

  3. Ben-Adar Bessos, M.: Improving the practical ability to perform matrix abduction. Research proposal for Master degree. Department of Computer Science, Bar Ilan University (2013)

    Google Scholar 

  4. Dushnik, B., Miller, E.W.: Partially ordered sets. Am. J. Math. 63(3), 600–610 (1941)

    Article  MathSciNet  Google Scholar 

  5. Golumbic, M.C.: Algorithmic Graph Theory and Perfect Graphs. Academic Press, New York (1980)

    MATH  Google Scholar 

  6. Markowski, G.: The representation of posets and lattices by sets. Algebr. Univers. 11(1), 173–192 (1980)

    Article  Google Scholar 

  7. Novak, V.: On the pseudo-dimension of ordered sets. Czechoslov. Math. J. 13, 587–598 (1963)

    Google Scholar 

  8. Ore, O.: Theory of Graphs. AMS Colloq. Publ., vol. 38. Am. Mathematical Society (1962)

    Google Scholar 

  9. Trotter, W.T.: Embedding finite posets in cubes. Discret. Math. 12(2), 165–172 (1975)

    Article  MATH  MathSciNet  Google Scholar 

  10. Trotter, W.T.: Combinatorics and Partially Ordered Sets. The John Hopkins University Press (1992)

    MATH  Google Scholar 

  11. Trotter, W.T.: Graphs and partially ordered sets: recent results and new directions. Technical Report, Arizona State University (1995)

    Google Scholar 

  12. Trotter, W.T.: Personal communication (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Bar-Ilan University, Ramat Gan, Israel

    Azriel Laufer

  2. Department of Computer Science, King’s College, London, UK

    Dov M. Gabbay

  3. Bar-Ilan University, Ramat Gan, Israel

    Dov M. Gabbay

Authors
  1. Azriel Laufer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dov M. Gabbay
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Azriel Laufer .

Editor information

Editors and Affiliations

  1. City University of New York, New York, New York, USA

    Arnold Koslow

  2. Federal University of Santa Catarina, Florianópolis, Santa Catarina, Brazil

    Arthur Buchsbaum

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Laufer, A., Gabbay, D.M. (2015). Topological Aspects of Matrix Abduction 1. In: Koslow, A., Buchsbaum, A. (eds) The Road to Universal Logic. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-15368-1_16

Download citation

Publish with us

Policies and ethics

Search

Navigation