Negation: Two points of view

MaRDI QIDQ2715514zbMATH OpenFDO

Authors Arnon Avron

Publication date 20 June 2001

zbMATH Keywords

consequence relationsmultiple-conclusion logicnegationsemanticssyntax

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract deductive systems (03B22) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Negation on the neo-Australian plan
• scientific article; zbMATH DE number 1749203
• On negation: Pure local rules
• scientific article; zbMATH DE number 958609
• scientific article; zbMATH DE number 3993533

Cited in

(15)

• Sequent calculi for semi-De Morgan and De Morgan algebras
• On negation: Pure local rules
• Facets of negation
• The identity of strong indiscernibility
• External, restricted external, and internal negations in a two-dimensional logic
• scientific article; zbMATH DE number 1241671 (Why is no real title available?)
• Negation by iteration
• scientific article; zbMATH DE number 1749203 (Why is no real title available?)
• Negation on the neo-Australian plan
• On the methodology of paraconsistent logic
• Internal negation and sortal quantification
• Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics
• A categorical analysis of compatibility frames
• Gentzen-type methods for bilattice negation
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation

This page was built for publication: Negation: Two points of view

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