Logical consequences. Theory and applications: an introduction

MaRDI QIDQ4686540zbMATH OpenFDO

Authors Luis M. Augusto

Publication date 2 October 2018

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Abstract deductive systems (03B22) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53)

Recommendations

• Measuring inconsistency in information
• An introduction to non-classical logic
• scientific article; zbMATH DE number 1256282
• Theory of logical calculi. Basic theory of consequence operations
• Logic. The basics

Cited in

(1)

• scientific article; zbMATH DE number 5037203 (Why is no real title available?)

This page was built for publication: Logical consequences. Theory and applications: an introduction

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