scientific article; zbMATH DE number 918109

zbMath0874.03005MaRDI QIDQ4888737

Richard L. Epstein

Publication date: 19 August 1996

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

zbMATH Keywords

relevanceintuitionistic logicentailmentmany-valued logicsmodal logicsparaconsistent logictranslations between logicspropositional logicspropositional semanticsset-assignment semanticscontent of a propositional formuladependence logicsenriched truth value semanticsJohansson's minimal calculusrelatedness logicsstrong completeness theorems

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 (3)

A computational interpretation of conceptivism ⋮ Defining LFIs and LFUs in extensions of infectious logics ⋮ Exhibiting interpretational and representational validity

This page was built for publication: