I’ve made an interesting (to me) discovery about something I’ve been working on, but I don’t know if I should post it on any of the math-related stack exchange forums since there isn’t much of a question involved. Specifically, I want to share that Classical Propositional Logic is contained in another, strictly more expressive propositional logic and a basic sketch of a proof. Is such a post allowed on math.stackexchange.com or math.overflow.com?
1
-
2$\begingroup$ It is probably not exactly the same, but you might have a look at this post: Recently rolled out SE Encyclopedia feature. And you can also check various other discussions linked there. (At the same time, I think this depends on the question. Probably somebody more familiar with logic question on this site would be able to say whether your specific topis is of interest.) $\endgroup$– Martin SleziakCommented Jan 5 at 6:35
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
No. That is not suitable for this site. We are a question-and-answer site. If you want to advertise a new result, then you'll need to use some other way to get the word out -- for example, a personal blog.
If there is a concrete question, then you can post a question and answer it yourself. But the question still needs to meet all the usual quality standards.
