I wrote some texts related to mathematical logic: http://www.mathematics21.org/formulas.html
How to check if my ideas are novel? Where and who to ask?
The problem is that I am not even nearly a professional logician.
Academia Stack Exchange is a question and answer site for academics and those enrolled in higher education. It only takes a minute to sign up.Sign up to join this community
The best way of finding out if your ideas are novel is to do a literature search.
A good place to start would be arxiv.org, which is a well-known pre-print repository (i.e. place where papers get uploaded before they are published) that has plenty of mathematical papers.
See what research has been done in the same area as you and you will get an idea of whether or not your research is novel, as well as the standard your work needs to reach if you intend to publish it in the future.
There is no way except to put in the study necessary to have the knowledge of a professional logician. (This can easily take several years.)
Here is the fundamental problem. It is very possible that your ideas would look novel to a layperson, even a layperson who has read the relevant literature, but any professional logician would know that your ideas are really some old (possibly a century old) idea recast into new language by a standard well known trick that has already been used many times in the past.