The following pages link to Wafik Boulos Lotfallah (Q1633212):
Displayed 16 items.
- (Q853466) (redirect page) (← links)
- The logic of tied implications. II. Syntax (Q853468) (← links)
- Minimal complete propositional natural deduction systems (Q1633213) (← links)
- Shrinking games and local formulas (Q1877096) (← links)
- Computational complexities of axiomatic extensions of monoidal t-norm based logic (Q2391235) (← links)
- The logic of tied implications. I: Properties, applications and representation (Q2492316) (← links)
- Strong 0-1 laws in finite model theory (Q2710601) (← links)
- Completeness and interpolation of almost-everywhere quantification over finitely additive measures (Q2856634) (← links)
- Rank Hierarchies for Generalized Quantifiers (Q3006117) (← links)
- Characterizing unambiguous precedence systems in expressions without superfluous parentheses (Q3603581) (← links)
- Almost everywhere elimination of probability quantifiers (Q3655247) (← links)
- An Ehrenfeucht-Fraïssé class game (Q4459599) (← links)
- On the Complexity of the First-order Random Theory (Q4461932) (← links)
- A local normal form theorem for infinitary logic with unary quantifiers (Q4666943) (← links)
- Strong convergence in finite model theory (Q4779653) (← links)
- First order quantifiers in monadic second order logic (Q5311712) (← links)