Skip to main content

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

Buy Article:

$60.90 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.

Document Type: Research Article


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

Publication date: February 1, 2011

More about this publication?

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Partial Open Access Content
Partial Open access content
Subscribed Content
Subscribed content
Free Trial 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