Correction to a definition of negation

DOI10.2307/2274089MaRDI QIDQ3701396zbMATH OpenOpenAlexFDO

Authors Frederic B. Fitch

Publication date 1984

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274089

zbMATH Keywords

extended basic logiclaw of double negation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 958609
• scientific article; zbMATH DE number 859801
• Negation as falsity: A reply to Tennant
• Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective
• Some definitions of negation leading to paraconsistent logics

Cites work

• A simplification of basic logic

Cited in

(2)

• Defining double negation elimination
• Abstraction in Fitch's basic logic

This page was built for publication: Correction to a definition of negation

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