Correction to a definition of negation

DOI10.2307/2274089zbMATH Open0579.03010OpenAlexW2129685265MaRDI QIDQ3701396FDOQ3701396

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

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

zbMATH Keywords

extended basic logiclaw of double negation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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)