Wafik Boulos Lotfallah

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Minimal Complete Propositional Natural Deduction Systems.
J. Philosophical Logic, 2018

2013
Completeness and interpolation of almost-everywhere quantification over finitely additive measures.
Math. Log. Q., 2013

2011
Rank Hierarchies for Generalized Quantifiers.
J. Log. Comput., 2011

2009
Computational complexities of axiomatic extensions of monoidal t-norm based logic.
Soft Comput., 2009

Almost everywhere elimination of probability quantifiers.
J. Symb. Log., 2009

Characterizing unambiguous precedence systems in expressions without superfluous parentheses.
Int. J. Comput. Math., 2009

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

The logic of tied implications, part 2: Syntax.
Fuzzy Sets and Systems, 2006

The logic of tied implications, part 1: Properties, applications and representation.
Fuzzy Sets and Systems, 2006

2005
A local normal form theorem for infinitary logic with unary quantifiers.
Math. Log. Q., 2005

2004
An Ehrenfeucht-Fraïssé class game.
Math. Log. Q., 2004

First order quantifiers in~monadic second order logic.
J. Symb. Log., 2004

Shrinking games and local formulas.
Ann. Pure Appl. Logic, 2004

2003
On the Complexity of the First-order Random Theory.
J. Log. Comput., 2003

2002
Strong Convergence in Finite Model Theory.
J. Symb. Log., 2002

2000
Strong 0-1 Laws in Finite Model Theory.
J. Symb. Log., 2000


  Loading...