This subreddit is for anybody interested in logical languages, or just logif in linguistics. It is great for conlangers, lojbanists, language geeks, and logic bots!