Negation by iteration
From MaRDI portal
Publication:4365783
DOI10.1111/j.1755-2567.1995.tb00489.xzbMath0883.03007OpenAlexW2133834963MaRDI QIDQ4365783
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
consequence relationnegationfragmentclassical sentential logiciteration of a connectivesingulary connective
Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (9)
Questions to Michael Dunn ⋮ ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION ⋮ Singulary extensional connectives: A closer look ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ Double negation as minimal negation ⋮ Basic Four-Valued Systems of Cyclic Negations ⋮ A Note on Ciuciura’s mbC1 ⋮ An Invitation to New Essays on Belnap-Dunn Logic ⋮ Bilattice Logics and Demi-Negation
Uses Software
This page was built for publication: Negation by iteration
