9,665 reputation
224103
bio website
location
age
visits member for 3 years, 11 months
seen yesterday

Just a layman and slow learner. Thank you for your enlightenment and patience, and for giving me the best memory in my life.


Jul
24
revised Is this theorem about soundness or completeness?
added 8 characters in body
Jul
23
revised Is there no propositional letter in first order logic?
added 5 characters in body
Jul
23
revised separating propositons with commas?
deleted 24 characters in body
Jul
21
revised Relations and functions with valence 0
added 62 characters in body
Jul
21
revised Are variables logical or non-logical symbols in a logic system?
added 75 characters in body
Jul
21
revised What does “calculus” mean?
deleted 9 characters in body
Jul
20
revised theory, theorems and axioms
rolled back to a previous revision
Jul
20
revised theory, theorems and axioms
added 22 characters in body
Jul
19
revised Is a definition either intensional or extensional?
added 774 characters in body
Jul
19
revised Is a definition either intensional or extensional?
added 774 characters in body
Jul
19
revised Is a definition either intensional or extensional?
added 774 characters in body
Jul
15
revised Are there formal systems that are not logical systems?
added 122 characters in body
Jul
15
revised Are there formal systems that are not logical systems?
added 143 characters in body
Jul
4
revised Meaning of the characteristic polynomial of a matroid
added 5 characters in body
Jul
3
revised Matrices with the same characteristic polynomial
added 63 characters in body
Jun
30
revised Equivalent definitions for a coloop?
added 448 characters in body
Jun
26
revised Do the following properties characterize the set membership?
added 11 characters in body
Jun
22
revised Rank feasible subset of a greedoid
edited tags
Jun
22
revised Two definitions of matroid
edited tags
Jun
16
revised If a k-regular graph is 1-factorable, then does it have chromatic index k?
added 103 characters in body