User:Chalst

Here and there

This user has been on Wikipedia for 20 years, 1 month and 10 days.

This user has created 103 articles on Wikipedia.

This user toots on Mastodon/the Fediverse as @ [email protected] on Mastodon

This page: http://en.wikipedia.orgview_html.php?sq=&lang=&q=User:Chalst

I'm Charles Stewart, a copy-editor and logician based in Berlin, who is specifically interested in proof theory, modal logic, applications of logic to computer science, philosophical logic, and mathematical structures for semantics, and increasingly, history of logic. Some of my home pages can be found listed below:

• User pages at wikimedia sites: wikimedia commons, de.wikipedia.org, wikisource, and meta-wiki;
• User pages at other wikis: Proof and Counterexample, CLiki, c2.com, and The Scheme Wiliki (schemewiki.org);
• ORCID page

I've been less active since November 2022 when I was treated for brain cancer. While the cancer is gone, the effects of the life-saving surgery will take a long time to fix. My editing speed, while improving, is much lower than before.

I was quite active in both the article deletion process, participating in XfDs and deletion reviews, and the article creation process where I was a reviewer of AfC drafts. Since hospitalisation, I have not been active in either process.