Wafik Boulos Lotfallah

18 papers Journal 18
YearRankTypeTitle / Venue / Authors
2018 J jnl
Minimal Complete Propositional Natural Deduction Systems.
J. Philos. Log.
Amr Elnashar, Wafik Boulos Lotfallah
2013 J jnl
Completeness and interpolation of almost-everywhere quantification over finitely additive measures.
Math. Log. Q.
João Rasga, Wafik Boulos Lotfallah, Cristina Sernadas
2013 J jnl
Reducing Bias and Uncertainty in Multievaluator Multicriterion Decision Making.
J. Comput. Civ. Eng.
Mounir El Asmar, Wafik Boulos Lotfallah, Wei-Yin Loh, Awad S. Hanna
2012 J jnl
Uncertainty Reduction in Multi-Evaluator Decision Making.
J. Comput. Civ. Eng.
Mounir El Asmar, Wafik Boulos Lotfallah, Wei-Yin Loh, Awad S. Hanna
2011 J jnl
Rank Hierarchies for Generalized Quantifiers.
J. Log. Comput.
H. Jerome Keisler, Wafik Boulos Lotfallah
2009 J jnl
Almost everywhere elimination of probability quantifiers.
J. Symb. Log.
H. Jerome Keisler, Wafik Boulos Lotfallah
2009 J jnl
Characterizing unambiguous precedence systems in expressions without superfluous parentheses.
Int. J. Comput. Math.
Wafik Boulos Lotfallah
2009 J jnl
Computational complexities of axiomatic extensions of monoidal t-norm based logic.
Soft Comput.
Moataz Saleh El-Zekey, Wafik Boulos Lotfallah, Nehad N. Morsi
2006 J jnl
Corrigendum to "The logic of tied implications, part 2: Syntax" [Fuzzy Sets and Systems 157(2006)2030-2057].
Fuzzy Sets Syst.
Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Saleh El-Zekey
2006 J jnl
The logic of tied implications, part 1: Properties, applications and representation.
Fuzzy Sets Syst.
Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Saleh El-Zekey
2006 J jnl
The logic of tied implications, part 2: Syntax.
Fuzzy Sets Syst.
Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Saleh El-Zekey
2005 J jnl
A local normal form theorem for infinitary logic with unary quantifiers.
Math. Log. Q.
H. Jerome Keisler, Wafik Boulos Lotfallah
2004 J jnl
An Ehrenfeucht-Fraïssé class game.
Math. Log. Q.
Wafik Boulos Lotfallah
2004 J jnl
First order quantifiers in~monadic second order logic.
J. Symb. Log.
H. Jerome Keisler, Wafik Boulos Lotfallah
2004 J jnl
Shrinking games and local formulas.
Ann. Pure Appl. Log.
H. Jerome Keisler, Wafik Boulos Lotfallah
2003 J jnl
On the Complexity of the First-order Random Theory.
J. Log. Comput.
Wafik Boulos Lotfallah
2002 J jnl
Strong Convergence in Finite Model Theory.
J. Symb. Log.
Wafik Boulos Lotfallah
2000 J jnl
Strong 0-1 Laws in Finite Model Theory.
J. Symb. Log.
Wafik Boulos Lotfallah