# Wafik Boulos Lotfallah

According to our database

Collaborative distances:

^{1}, Wafik Boulos Lotfallah authored at least 16 papers between 2000 and 2018.Collaborative distances:

## 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