Reputation
526
Top tag
Next privilege 1,000 Rep.
Create new tags
Badges
4 21
Newest
 Curious
Impact
~7k people reached

  • 0 posts edited
  • 2 helpful flags
  • 198 votes cast
Jun
17
revised Why negating universal quantifier gives existential quantifier?
added 123 characters in body
Jun
17
answered Why negating universal quantifier gives existential quantifier?
Jun
14
revised Has a Dependent Type always a Type?
edited body
May
24
answered On provability within minimal logic
Mar
20
awarded  Curious
Feb
3
revised Inference rule for Non-Empty Domains
added 1 character in body
Feb
3
revised Inference rule for Non-Empty Domains
added 1 character in body
Feb
3
revised Inference rule for Non-Empty Domains
deleted 727 characters in body
Feb
3
answered Inference rule for Non-Empty Domains
Jan
6
revised Inference rule for Non-Empty Domains
added 4 characters in body
Jan
3
revised Inference rule for Non-Empty Domains
added 29 characters in body
Jan
2
revised Inference rule for Non-Empty Domains
added 9 characters in body
Jan
2
asked Inference rule for Non-Empty Domains
Dec
21
awarded  Caucus
Aug
23
comment Using $p\supset q$ instead of $p\implies q$
It is rather the other way around. From residuated lattices we know p≤q->r iff p^q≤r. Now take the special case p=1, we then have q->r iff q≤r. en.wikipedia.org/wiki/Residuated_lattice
Aug
9
revised The “disjunction” of two theories
deleted 97 characters in body
Aug
9
answered The “disjunction” of two theories
Aug
8
answered Herbrand Logic-Fitch System
Jul
13
awarded  Revival
Apr
14
awarded  Nice Question