Wafik Boulos Lotfallah - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2018

Minimal Complete Propositional Natural Deduction SystemsAmr Elnashar, Wafik Boulos Lotfallah. jphil, 47(5):803-815, 2018. [doi]

2013

Reducing Bias and Uncertainty in Multievaluator Multicriterion Decision MakingMounir El Asmar, Wafik Boulos Lotfallah, Wei-Yin Loh, Awad S. Hanna. jccee, 27(2):167-176, 2013. [doi]

Completeness and interpolation of almost-everywhere quantification over finitely additive measuresJoão Rasga, Wafik Boulos Lotfallah, Cristina Sernadas. mlq, 59(4-5):286-302, 2013. [doi]

2012

Uncertainty Reduction in Multi-Evaluator Decision MakingMounir El Asmar, Wafik Boulos Lotfallah, Wei-Yin Loh, Awad S. Hanna. jccee, 26(1):105-112, 2012. [doi]

2011

Rank Hierarchies for Generalized QuantifiersH. Jerome Keisler, Wafik Boulos Lotfallah. logcom, 21(2):287-306, 2011. [doi]

2009

Computational complexities of axiomatic extensions of monoidal t-norm based logicMoataz Saleh El-Zekey, Wafik Boulos Lotfallah, Nehad N. Morsi. soco, 13(11):1089-1097, 2009. [doi]

Almost everywhere elimination of probability quantifiersH. Jerome Keisler, Wafik Boulos Lotfallah. JSYML, 74(4):1121-1142, 2009. [doi]

Characterizing unambiguous precedence systems in expressions without superfluous parenthesesWafik Boulos Lotfallah. ijcm, 86(1):1-20, 2009. [doi]

2006

The logic of tied implications, part 2: SyntaxNehad N. Morsi, Wafik Boulos Lotfallah, M. S. El-Zekey. fss, 157(15):2030-2057, 2006. [doi]

The logic of tied implications, part 1: Properties, applications and representationNehad N. Morsi, Wafik Boulos Lotfallah, M. S. El-Zekey. fss, 157(5):647-669, 2006. [doi]

Corrigendum to The logic of tied implications, part 2: Syntax [Fuzzy Sets and Systems 157(2006)2030-2057]Nehad N. Morsi, Wafik Boulos Lotfallah, M. S. El-Zekey. fss, 157(17):2416-2417, 2006. [doi]

2005

A local normal form theorem for infinitary logic with unary quantifiersH. Jerome Keisler, Wafik Boulos Lotfallah. mlq, 51(2):137-144, 2005. [doi]

2004

Shrinking games and local formulasH. Jerome Keisler, Wafik Boulos Lotfallah. APAL, 128(1-3):215-225, 2004. [doi]

First order quantifiers in~monadic second order logicH. Jerome Keisler, Wafik Boulos Lotfallah. JSYML, 69(1):118-136, 2004. [doi]

An Ehrenfeucht-Fraïssé class gameWafik Boulos Lotfallah. mlq, 50(2):179-188, 2004. [doi]

2003

On the Complexity of the First-order Random TheoryWafik Boulos Lotfallah. logcom, 13(2):261-271, 2003. [doi]

2002

Strong Convergence in Finite Model TheoryWafik Boulos Lotfallah. JSYML, 67(3):1083-1092, 2002.

2000

Strong 0-1 Laws in Finite Model TheoryWafik Boulos Lotfallah. JSYML, 65(4):1686-1704, 2000.

Sign in or sign up to see more results.

runs on WebDSL