scientific article; zbMATH DE number 1511053

zbMath0948.03001MaRDI QIDQ4505123

Richard L. Epstein

Publication date: 26 September 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

relevancetranslation between logicsintuitionistic logicentailmentmany-valued logicsmodal logicsparaconsistent logicpropositional logicspropositional semanticsset-assignment semanticscontent of a propositional formuladependence logicsenriched truth value semanticsrelatedness logicsstrong completeness theoremsJohannsson's minimal calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical propositional logic (03B05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53) General logic (03Bxx)

Related Items (2)

A logic for rough sets ⋮ Criteria for logical formalization

This page was built for publication: