Welcome to the staging ground for new communities! Each proposal has a description in the "Descriptions" category and a body of questions and answers in "Incubator Q&A". You can ask questions (and get answers, we hope!) right away, and start new proposals.
Is there a specification meta-language for logics? Question
+0
−0
Is there a specification meta-language for logics? A formal language which can express, “a logic with variable symbols, unary predicates, and connectives”?
1 comment thread