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
  • 197 votes cast
Jun
17
revised Why negating universal quantifier gives existential quantifier?
added 123 characters in body
Jun
14
revised Has a Dependent Type always a Type?
edited body
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
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
Aug
9
revised The “disjunction” of two theories
deleted 97 characters in body
Dec
30
revised Skolemization of a Formula
edited body
Dec
29
revised Skolemization of a Formula
deleted 5 characters in body
Dec
29
revised Skolemization of a Formula
edited tags
Dec
29
revised Skolemization of a Formula
deleted 99 characters in body
Dec
29
revised Skolemization of a Formula
added 98 characters in body
Dec
29
revised Is the validity of the Skolemization of a sentence A infers the validity of A?
edited body
Sep
23
revised Induction, how often?
added 43 characters in body
Sep
23
revised Induction, how often?
deleted 1 characters in body
Sep
21
revised What are the historical roots of cryptarithmetic?
added 58 characters in body
Aug
25
revised What kind of logics satisfy the coincidence lemma?
added 286 characters in body; edited title
Aug
22
revised What kind of logics satisfy the coincidence lemma?
edited body