scientific article

zbMath0699.03001MaRDI QIDQ3995890

Richard L. Epstein

Publication date: 17 September 1992

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

zbMATH Keywords

relevancesemanticsintuitionistic logicentailmentmany-valued logicsmodal logicsparaconsistent logictranslations between logicspropositional logicsset-assignment semanticspropositionalcontent 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) Subsystems of classical logic (including intuitionistic logic) (03B20) General logic (03Bxx)

Related Items

THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS, Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems, History of Relating Logic. The Origin and Research Directions, Incorporating the Relation into the Language?, Tableaux for logics of content relationship and set-assignment semantics, Shallow analysis and the slingshot argument, Algebraic translations, correctness and algebraic compiler construction, Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics, New dimensions on translations between logics, What is a logic translation?, Four-valued paradefinite logics, The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework), Boolean connexive logic and content relationship, Situation-based connexive logic, Synonymous logics, AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX, Modal Boolean Connexive Logics: Semantics and Tableau Approach, A Post-style proof of completeness theorem for symmetric relatedness Logic S, Labelling ideality and subideality, Conservative translations, Distance-based paraconsistent logics, Combining classical logic, paraconsistency and relevance, Notational variance and its variants, Rough sets and 3-valued logics, Boolean Connexive Logics: Semantics and tableau approach, Adequate formalization, Containment logics: algebraic completeness and axiomatization, The value of the four values, Three-Valued Paraconsistent Propositional Logics, Strong Three-Valued Paraconsistent Logics, Paraconsistent logics and translations, On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach, Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics, Kleene's Logic with equality