Skip to content
aidb
c

classical logic

Class of formal logics

EntityQ236975

Also known as standard logic · Frege–Russell logic

Subclass of
Part of