5 public-domain matches
Description Logics
Beth Definability in Expressive Description Logics

Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the ..
A System of Logic, Ratiocinative and Inductive
A System of Logic, Ratiocinative and Inductive
Mysticism and Logic and Other Essays