29 citations · 42 across the 7 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
math.LO2015★ 8 cited
Weak Godel's incompleteness property for some decidable versions of first order logic
Mohamed Khaled
The founding of the theory of cylindric algebras, by Alfred Tarski, was a conscious effort to create algebras out of first order predicate calculus. Let . The classes of non…
math.LO2015★ 4 cited
Weak Godel's incompleteness property for some decidable versions of the calculus of relations
Mohamed Khaled
Relativization is one of the central topics in the study of algebras of relations. Some relativized relation algebras behave much nicer than the original relation algebras. In this…
math.LO2015
General normal forms for any additive logic
Mohamed Khaled
In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions. We do not…