Qal wa- omer and Theory of Massive-Parallel Proofs

DOI10.1080/01445340.2010.506104zbMath1231.03006OpenAlexW2095427176MaRDI QIDQ3019780

Andrew Schumann

Publication date: 29 July 2011

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2010.506104

zbMATH Keywords

logic of the TalmudTalmudic reasoning

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cellular automata (computational aspects) (68Q80) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Principles Of Talmudic Logic

Cites Work

• Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
• Non-Archimedean fuzzy and probability logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Qal wa- omer and Theory of Massive-Parallel Proofs