Also known as standard logic, Frege–Russell logic
形式論理の部類
古典論理（こてんろんり、英: classical logic）は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理（英: standard logic）とも呼ばれる。
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).