Reputation
521
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
  • 180 votes cast
1h
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
asked Analogue of Herbrand Disjunction for Negative Side of the Clark Completion?
Aug
8
answered Herbrand Logic-Fitch System
Jul
13
awarded  Revival
Apr
14
awarded  Nice Question
Jan
29
awarded  Popular Question
Dec
30
revised Skolemization of a Formula
edited body