Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article
Author

Ayman M. Abdalla

1 article in our journals

Articles where this person is an author, newest first. People are matched by their name as printed (no ORCID iD is recorded for them), not by name alone; search the name as text to find namesakes too.

Research ArticleOpen accessA Method of Deductive Logical Inference ProofsMaher A. Nabulsi, Ayman M. AbdallaA method of proof is presented and used in proving theorems in logic and set theory. Many commonly used methods of proof are rigid and not easy to apply in proving different theorems. This study deductively draws conclusions from rules of logical inference and then, it generalizes the deduction methods to be applied to logic and set theory. Then, it … …Journal of Computer Science, Vol. 4, Issue 4 · 30 Apr 2008 · 7,479 accessesView PDFCite