0
$\begingroup$

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?

$\endgroup$
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$ Jan 5 at 6:35

1 Answer 1

8
$\begingroup$

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.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .