Ioachim Drugus

Moldova

The logic of natural languages is most complex among logics - classical or non classical. Having done research and teaching mathematical logic for over 30 years, I am now trying to model natural languages.

top accounts reputation activity subscriptions

Is there any research on set theory without extensionality axiom?

lo.logic set-theory asked May 27, 2014 at 8:15

mathoverflow.net

8 votes

Set theory based on inclusion

reference-request elementary-set-theory logic asked Oct 5, 2013 at 4:29

math.stackexchange.com

8 votes

Is there one binary operation foundational for set theory?

ct.category-theory set-theory lo.logic model-theory categorical-logic asked Jul 9, 2014 at 15:11

mathoverflow.net

7 votes

Adjunction algebra - is there anything similar to this in algebra?

universal-algebra asked Aug 1, 2014 at 21:33

mathoverflow.net

7 votes

What is semantics of "type"? Do "types" of "type theory" semantically differ from "set" of set theory?

logic set-theory asked Jun 30, 2014 at 13:39

math.stackexchange.com

6 votes

If questions are formalized as ideals of a boolean algebra, what kind of algebra of questions appears from Stone representation theorem?

lo.logic universal-algebra boolean-algebras asked Jun 25, 2014 at 23:04

mathoverflow.net

5 votes

In $\sf{ZF}$, is every finite set also hereditarily finite?

set-theory asked Jul 10, 2014 at 23:22

math.stackexchange.com