Wafik Boulos Lotfallah

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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

Research outcomes over time

This page was built for person: Wafik Boulos Lotfallah