Classical relevant logics. II

DOI10.1007/BF02120493zbMath0316.02030MaRDI QIDQ1221098

Robert K. Meyer, Richard Routley

Publication date: 1974

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items

Current trends in substructural logics ⋮ Paraconsistent logic ⋮ Sentential constants in R and \(R^{\neg}\) ⋮ What is a relevant connective? ⋮ RELEVANCE LOGICS AND RELATION ALGEBRAS ⋮ Ternary relations and relevant semantics ⋮ \(\mathbf R\) and relevance principle revisited ⋮ New axiomatics for relevant logics. I ⋮ 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 ⋮ Completeness and conservative extension results for some Boolean relevant logics ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ On the ternary relation and conditionality ⋮ Gentzenizations of relevant logics with distribution ⋮ Classical negation and expansions of Belnap-Dunn logic ⋮ Two Negations Are More than One ⋮ A new approach to classical relevance ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Basic quasi-Boolean expansions of relevance logics ⋮ Explicating logical independence ⋮ Relevance logics and intuitionistic negation ⋮ A basic quasi-Boolean logic of intuitionistic character ⋮ CE is not a conservative extension of E ⋮ Inter-Model Connectives and Substructural Logics ⋮ Where gamma fails ⋮ Tarskian Classical Relevant Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Models for entailment
• Classical relevant logics. I
• New axiomatics for relevant logics. I
• Homomorphisms of intensionally complemented distributive lattices
• A semantical analysis of implicational system I and of the first degree of entailment
• A completeness theorem in modal logic
• Intensional models for first degree formulas
• Lattices With Involution
• Semantics for relevant logics