Negation by iteration

DOI10.1111/J.1755-2567.1995.TB00489.XMaRDI QIDQ4365783zbMATH OpenOpenAlexFDO

Authors I. L. Humberstone

Publication date 23 March 1998

Published in Theoria (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1755-2567.1995.tb00489.x

zbMATH Keywords

classical sentential logicconsequence relationfragmentiteration of a connectivenegationsingulary connective

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract deductive systems (03B22)

Recommendations

• scientific article; zbMATH DE number 4061191
• A constructive negation defined with a negation connective for logics including Bp_+
• scientific article; zbMATH DE number 958609
• Negation: Two points of view

Cited in

(17)

• Singulary extensional connectives: A closer look
• Periodicity of negation
• An invitation to new essays on Belnap-Dunn logic
• Bilattice logics and demi-negation
• The geometry of negation
• Classical negation can be expressed by one of its halves
• Simulating without Negation
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• scientific article; zbMATH DE number 870913 (Why is no real title available?)
• Questions to Michael Dunn
• A note on Ciuciura's \(\mathbf{mbC}^1\)
• Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation
• Double negation as minimal negation
• Basic Four-Valued Systems of Cyclic Negations
• Cyclic negations and four-valuedness
• Dunn semantics for contra-classical logics
• A note on Grigoriev and Zaitsev's system \(\mathrm{CNL}^2_4\)

Describes a project that uses

Uses Software

• PLINK

This page was built for publication: Negation by iteration

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