Reputation
10,785
Next privilege 15,000 Rep.
Protect questions
Badges
5 40 145
Impact
~414k people reached

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
16
revised If a k-regular graph is 1-factorable, then does it have chromatic index k?
added 103 characters in body
Jun
15
revised Name for a generalized relation to be a multiset?
added 67 characters in body; edited tags
Jun
3
revised Mathematical concept for formal languages
added 133 characters in body