Logical discrimination

MaRDI QIDQ5311064zbMATH OpenFDO

Authors Lloyd Humberstone

Publication date 22 August 2005

zbMATH Keywords

consequence relations, synonymous formulasdeductive strengthdiscriminatory strengthtruth

Mathematics Subject Classification ID

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

Recommendations

• The truths of logic
• Information and Logical Discrimination
• Weak logic theory
• Weak conjunctions of identities
• Remarks on compositionality and weak axiomatic theories of truth

Cited in

(10)

• New dimensions on translations between logics
• What is a logic translation?
• Logical pluralism and semantic information
• On when a disjunction is informative. Ambiguous connectives and a realist commitment to pluralism
• Priest on negation
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Informational semantics as a third alternative?
• Noisy vs. merely equivocal logics
• Supervenience, dependence, disjunction
• Varieties of Relevant S5

This page was built for publication: Logical discrimination

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