Basic quasi-Boolean expansions of relevance logics
From MaRDI portal
Publication:2236601
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)
Uses Software
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)