Publication:3995890

zbMath0699.03001MaRDI QIDQ3995890

Richard L. Epstein

Publication date: 17 September 1992

zbMATH Keywords

relevance; semantics; intuitionistic logic; entailment; many-valued logics; modal logics; paraconsistent logic; translations between logics; propositional logics; set-assignment semantics; propositional; content of a propositional formula; dependence logics; enriched truth value semantics; Johansson's minimal calculus; relatedness logics; strong completeness theorems

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B60: Other nonclassical logic

03A05: Philosophical and critical aspects of logic and foundations

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B05: Classical propositional logic

03B50: Many-valued logic

03B20: Subsystems of classical logic (including intuitionistic logic)

03Bxx: General logic

Related Items

Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics, AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX, A Post-style proof of completeness theorem for symmetric relatedness Logic S, Labelling ideality and subideality, Modal Boolean Connexive Logics: Semantics and Tableau Approach, Three-Valued Paraconsistent Propositional Logics, Strong Three-Valued Paraconsistent Logics, Conservative translations, Shallow analysis and the slingshot argument, Rough sets and 3-valued logics, Adequate formalization, Algebraic translations, correctness and algebraic compiler construction, The value of the four values, Synonymous logics, Kleene's Logic with equality, Four-valued paradefinite logics, Combining classical logic, paraconsistency and relevance, Paraconsistent logics and translations, New dimensions on translations between logics, What is a logic translation?, Distance-based paraconsistent logics, Notational variance and its variants, Boolean Connexive Logics: Semantics and tableau approach