Wafik Boulos Lotfallah

Available identifiers

Publication	Date of Publication	Type
Minimal complete propositional natural deduction systems	2018-12-19	Paper
Completeness and interpolation of almost-everywhere quantification over finitely additive measures	2013-10-30	Paper
Rank hierarchies for generalized quantifiers	2011-06-10	Paper
Almost everywhere elimination of probability quantifiers	2010-01-07	Paper
Computational complexities of axiomatic extensions of monoidal t-norm based logic	2009-07-24	Paper
Characterizing unambiguous precedence systems in expressions without superfluous parentheses	2009-02-18	Paper
The logic of tied implications. II. Syntax	2006-11-15	Paper
The logic of tied implications. I: Properties, applications and representation	2006-06-09	Paper
First order quantifiers in monadic second order logic	2005-08-29	Paper
A local normal form theorem for infinitary logic with unary quantifiers	2005-04-07	Paper
Shrinking games and local formulas	2004-08-16	Paper
On the Complexity of the First-order Random Theory	2004-05-18	Paper
An Ehrenfeucht-Fraïssé class game	2004-03-29	Paper
Strong convergence in finite model theory	2002-12-16	Paper
Strong 0-1 laws in finite model theory	2001-04-24	Paper

This page was built for person: Wafik Boulos Lotfallah