3 papers
cs.AI2026
Computational Extraction of Legal Causes via al-Sabr wa al-Taqsim: A Set-Theoretic Formalization for Closed Fiqh Chapters
Elnaser Abdelwahab
This paper presents a set-theoretic formalization of the classical usuli method of al-Sabr wa al-Taqsim (Examination and Division) for extracting legal causes ('ilal) within closed…
cs.CL2023
Three Dogmas, a Puzzle and its Solution
Elnaserledinellah Mahmood Abdelwahab
Modern Logics, as formulated notably by Frege, Russell and Tarski involved basic assumptions about Natural Languages in general and Indo-European Languages in particular, which are…
cs.AI2016
The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem
Elnaserledinellah Mahmood Abdelwahab, Karim Daghbouche, Nadra Ahmad Shannan
The historic background of algorithmic processing with regard to etymology and methodology is translated into terms of mathematical logic and Computer Science. A formal logic struc…