Wafik Boulos Lotfallah

According to our database, Wafik Boulos Lotfallah authored at least 18 papers between 2000 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Minimal Complete Propositional Natural Deduction Systems.

Amr Elnashar, Wafik Boulos Lotfallah

J. Philos. Log., 2018

2013

Completeness and interpolation of almost-everywhere quantification over finitely additive measures.

João Rasga, Wafik Boulos Lotfallah, Cristina Sernadas

Math. Log. Q., 2013

Reducing Bias and Uncertainty in Multievaluator Multicriterion Decision Making.

Mounir El Asmar, Wafik Boulos Lotfallah, Wei-Yin Loh, Awad S. Hanna

J. Comput. Civ. Eng., 2013

2012

Uncertainty Reduction in Multi-Evaluator Decision Making.

Mounir El Asmar, Wafik Boulos Lotfallah, Wei-Yin Loh, Awad S. Hanna

J. Comput. Civ. Eng., 2012

2011

Rank Hierarchies for Generalized Quantifiers.

H. Jerome Keisler, Wafik Boulos Lotfallah

J. Log. Comput., 2011

2009

Computational complexities of axiomatic extensions of monoidal t-norm based logic.

Moataz Saleh El-Zekey, Wafik Boulos Lotfallah, Nehad N. Morsi

Soft Comput., 2009

Almost everywhere elimination of probability quantifiers.

H. Jerome Keisler, Wafik Boulos Lotfallah

J. Symb. Log., 2009

Characterizing unambiguous precedence systems in expressions without superfluous parentheses.

Wafik Boulos Lotfallah

Int. J. Comput. Math., 2009

2006

Corrigendum to "The logic of tied implications, part 2: Syntax" [Fuzzy Sets and Systems 157(2006)2030-2057].

Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Saleh El-Zekey

Fuzzy Sets Syst., 2006

The logic of tied implications, part 2: Syntax.

Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Saleh El-Zekey

Fuzzy Sets Syst., 2006

The logic of tied implications, part 1: Properties, applications and representation.

Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Saleh El-Zekey

Fuzzy Sets Syst., 2006

2005

A local normal form theorem for infinitary logic with unary quantifiers.

H. Jerome Keisler, Wafik Boulos Lotfallah

Math. Log. Q., 2005

2004

An Ehrenfeucht-Fraïssé class game.

Wafik Boulos Lotfallah

Math. Log. Q., 2004

First order quantifiers in~monadic second order logic.

H. Jerome Keisler, Wafik Boulos Lotfallah

J. Symb. Log., 2004

Shrinking games and local formulas.

H. Jerome Keisler, Wafik Boulos Lotfallah

Ann. Pure Appl. Log., 2004

2003

On the Complexity of the First-order Random Theory.

Wafik Boulos Lotfallah

J. Log. Comput., 2003

2002

Strong Convergence in Finite Model Theory.

Wafik Boulos Lotfallah

J. Symb. Log., 2002

2000

Strong 0-1 Laws in Finite Model Theory.

Wafik Boulos Lotfallah

J. Symb. Log., 2000