Mathematics
user avatar
user avatar
user avatar
Ioachim Drugus
  • Member for 9 years, 5 months
  • Last seen more than a month ago
  • Moldova
Profile Activity
Stats
646
reputation
4k
reached
5
answers
20
questions
Communities
View all
About

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.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
11
bronze badges
Top tags
View all tags
2
Score
13
Posts
52
Posts %
1
Score
6
Posts
24
Posts %
1
Score
5
Posts
20
Posts %
1
Score
2
Posts
8
Posts %
1
Score
1
Posts
4
Posts %
0
Score
10
Posts
40
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
8
Set theory based on inclusion
Oct 5, 2013
question
7
What is semantics of "type"? Do "types" of "type theory" semantically differ from "set" of set theory?
Jun 30, 2014
question
4
In $\sf{ZF}$, is every finite set also hereditarily finite?
Jul 10, 2014
question
4
Is there a theory of structures different from Bourbaki's theory of structures?
May 23, 2018
question
3
Is there an (efficient) algorithm to determine whether an equation of two terms in the language of elementary set theoretic operators is an identity?
Nov 12, 2018
question
3
Are there some kind of "multialgebras" with terms or equations, where an operation can result with different values in different places?
Sep 17, 2013
question
3
Can you give examples of interesting properties of the *unary* set union?
Oct 4, 2020
question
2
I there a rigorous, mathematical, approach to definitions (denotations)?
Jun 27, 2014
question
2
What could be an appropriate name for this logical operation?
Nov 20, 2018
question
2
What is "algebraic theory" in the wide sense?
Nov 14, 2021
Top network posts
View all network posts
16
Is there any research on set theory without extensionality axiom?
7
Adjunction algebra - is there anything similar to this in algebra?
6
If questions are formalized as ideals of a boolean algebra, what kind of algebra of questions appears from Stone representation theorem?
6
Is there one binary operation foundational for set theory?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.