Boolean negation and non-conservativity II: The variable-sharing property

DOI10.1093/JIGPAL/JZAA020MaRDI QIDQ5020360zbMATH OpenOpenAlexFDO

Authors Tore Fjetland Øgaard

Publication date 5 January 2022

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://hdl.handle.net/11250/2739132

zbMATH Keywords

Boolean negationnon-conservative extensionrelevant logicsvariable sharing

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Boolean negation and non-conservativity. III: The Ackermann constant
• Boolean negation and non-conservativity. I: Relevant modal logics
• Variable sharing in connexive logic
• A general characterization of the variable-sharing property by means of logical matrices
• On Boolean algebras of conditionals and their logical counterpart
• scientific article; zbMATH DE number 7204433
• A mechanism of uncovering of quantifiers in Boolean variables
• Negation with logical variables in conditional rewriting
• On the implicit expressibility of Boolean functions
• On affine (non)equivalence of Boolean functions

Cited in

(7)

• CE is not a conservative extension of E
• Non-Boolean classical relevant logics. I
• Boolean negation and non-conservativity. I: Relevant modal logics
• Boolean negation and non-conservativity. III: The Ackermann constant
• On the non-substantiality of logic: a case study
• Variable-sharing as relevance
• Completeness and conservative extension results for some Boolean relevant logics

This page was built for publication: Boolean negation and non-conservativity II: The variable-sharing property

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