Basic quasi-Boolean expansions of relevance logics

DOI10.1007/S10992-020-09583-4OpenAlexW3159788197MaRDI QIDQ2236601FDOQ2236601

Authors Yanyan Li 

Publication date 25 October 2021

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-020-09583-4

zbMATH Keywords

relevance logicsDe Morgan logicsRoutley-Meyer ternary relational semanticsquasi-Boolean logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
• A basic quasi-Boolean logic of intuitionistic character
• Relevance logics and intuitionistic negation
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• Simplified semantics for relevant logics (and some of their rivals)

Cites Work

• scientific article; zbMATH DE number 3134289 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 6965723 (Why is no real title available?)
• scientific article; zbMATH DE number 6423725 (Why is no real title available?)
• A relational representation of quasi-Boolean algebras
• Algebraic methods in philosophical logic
• Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
• An algebraic approach to non-classical logics
• Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
• Classical relevant logics. I
• Classical relevant logics. II
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Hierarchical semantics for relevant logics
• Natural 3-valued logics—characterization and proof theory
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
• Universal logic
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
• What is strict implication?
• Where gamma fails

Cited In (2)

• An \(O(n \log n)\)-space decision procedure for the relevance logic \(B^+\)
• The relevance logic of Boolean groups

Uses Software

• MaGIC

This page was built for publication: Basic quasi-Boolean expansions of relevance logics

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