Wafik Boulos Lotfallah

Publication Activity (10 Years)

Years Active: 2000-2018
Publications (10 Years): 1

Top Topics

Interpolation Methods

Quantitative Measures

Natural Deduction

Top Venues

J. Comput. Civ. Eng.

J. Philos. Log.

Publications

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