On connegation

MaRDI QIDQ5099996zbMATH OpenFDO

Authors Alex Belikov, Oleg Grigor'ev, Dmitry V. Zaitsev

Publication date 26 August 2022

zbMATH Keywords

conflationconnegationembedding resultsgeneralized truth valuesGentzen-style calculiHilbert-style calculinegation

Mathematics Subject Classification ID

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

Recommendations

• A poly-connexive logic
• Boolean connexive logics: semantics and tableau approach
• Bilattice logics and demi-negation
• The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
• SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION

Cited in

(7)

• Notes on connections
• On Hitchin’s connection
• scientific article; zbMATH DE number 1560944 (Why is no real title available?)
• scientific article; zbMATH DE number 815146 (Why is no real title available?)
• Craig's interpolation theorem for logic with the Ruet operator
• A note on Grigoriev and Zaitsev's system \(\mathrm{CNL}^2_4\)
• Connectives stranger than tonk

This page was built for publication: On connegation

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