Person:1633212

Available identifiers

zbMath Open lotfallah.wafik-boulosMaRDI QIDQ1633212

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wafik Boulos Lotfallah