Login / Signup
Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction.
Michael Abraham
Dov M. Gabbay
Uri J. Schild
Published in:
Stud Logica (2009)
Keyphrases
</>
inference rules
model checking
database systems
background knowledge