Classical relevant logics. II

DOI10.1007/BF02120493MaRDI QIDQ1221098zbMATH OpenFDO

Authors Robert K. Meyer, Richard Sylvan

Publication date 1974

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02120493

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General logic (03B99)

Cites work

• A completeness theorem in modal logic
• A semantical analysis of implicational system I and of the first degree of entailment
• Classical relevant logics. I
• Homomorphisms of intensionally complemented distributive lattices
• scientific article; zbMATH DE number 3134289 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• Intensional models for first degree formulas
• Lattices With Involution
• Models for entailment
• New axiomatics for relevant logics. I
• Semantics for relevant logics

Cited in

(28)

• Where gamma fails
• Sentential constants in R and \(R^{\neg}\)
• New axiomatics for relevant logics. I
• CE is not a conservative extension of E
• What is a relevant connective?
• Relation algebras of Sugihara, Belnap, Meyer, and Church
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
• Basic quasi-Boolean expansions of relevance logics
• Explicating logical independence
• Current trends in substructural logics
• Paraconsistent logic
• Two negations are more than one
• Relevance logics and intuitionistic negation
• R and relevance principle revisited
• On the ternary relation and conditionality
• Gentzenizations of relevant logics with distribution
• Classical negation and expansions of Belnap-Dunn logic
• A new approach to classical relevance
• A basic quasi-Boolean logic of intuitionistic character
• Tarskian Classical Relevant Logic
• Inter-model connectives and substructural logics
• RELEVANCE LOGICS AND RELATION ALGEBRAS
• Ternary relations and relevant semantics
• Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic
• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
• Variable-sharing as relevance
• Completeness and conservative extension results for some Boolean relevant logics

This page was built for publication: Classical relevant logics. II

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