scientific article; zbMATH DE number 5316611

zbMATH Open1143.03329MaRDI QIDQ3520847FDOQ3520847

Authors: Lloyd Humberstone 

Publication date: 26 August 2008

Title of this publication is not available (Why is that?)

zbMATH Keywords

truthdeductive strengthconsequence relations, synonymous formulasdiscriminatory strength

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)

Cited In (1)

• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3520847)