Mathematics
user65526's user avatar
user65526's user avatar
user65526's user avatar
user65526
  • Member for 10 years, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
1,343
reputation
20k
reached
1
answer
67
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
20
bronze badges
Top tags
View all tags
5
Score
13
Posts
19
Posts %
5
Score
8
Posts
12
Posts %
5
Score
8
Posts
12
Posts %
5
Score
7
Posts
10
Posts %
0
Score
42
Posts
62
Posts %
0
Score
12
Posts
18
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
17
Continuations in mathematics: nice examples?
Jul 5, 2017
answer
5
Continuations in mathematics: nice examples?
Jul 6, 2017
question
5
Intuitionistic Logic: introduction and elimination rules for the universal and existential quantifiers
May 12, 2015
question
5
The category of logics and the category of cologics
Nov 26, 2017
question
4
Supplementing FOL with the Härtig quantifier
May 19, 2015
question
4
Models of Linear Logic
May 26, 2015
question
4
Implication in linear logic
Jul 23, 2015
question
4
A complicated, curious tableaux proof rule for Intuitionistic S4
Aug 22, 2017
question
4
Transforming intuitionistic propositional validities into validities of linear logic
Aug 15, 2017
question
4
Showing a Hilbert style axiomatic proof system and a Gentzen natural deduction in sequent style calculus are equivalent
Jun 28, 2017
Top network posts
View all network posts
23
What, mathematically speaking, does it mean to say that the continuation monad can simulate all monads?
14
A peculiarity of Henkin's 1950 proof of completeness for higher order logic
14
Failed to initialise color list unarchiver
10
Interesting operators in Haskell that obey modal axioms
10
MacBook Pro error report

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.