03 Mathematical logic and foundations
03Bxx General logic (1 articles)

03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (3 articles)

Partner of
EuDML logo