Skip to main content

Qal wa-[image omitted]omer and Theory of Massive-Parallel Proofs

Buy Article:

$47.00 plus tax (Refund Policy)

In this article, the author attempts to explicate the notion of the best known Talmudic inference rule called qal wa-[image omitted]omer. He claims that this rule assumes a massive-parallel deduction, and for formalizing it, he builds up a case of massive-parallel proof theory, the proof-theoretic cellular automata, where he draws conclusions without using axioms.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
No Data/Media
No Metrics

Document Type: Research Article

Affiliations: Department of Philosophy and Science Methodology, Belarusian State University, Belarus

Publication date: 2011-02-01

More about this publication?
  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more