About some symmetries of negation

DOI10.2307/2275401MaRDI QIDQ4302346zbMATH OpenOpenAlexFDO

Authors Brigitte Hösli, Gerhard Jäger

Publication date 15 August 1994

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

Full work available at URL https://boris.unibe.ch/115094/1/S0022481200019915.pdf

zbMATH Keywords

sequent calculusstrong modelweak modelcut-free provabilityidentity-free provabilitystrong Schütte valuationweak cut ruleweak identity axiomweak Schütte valuation

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Gentzen's cut-free calculus versus the logic of paradox
• On a theory of weak implications
• A sequent calculus for a negative free logic
• \(LE^{t}_{ \to }, LR^{ \circ }_{\widehat{\sim}}, LK\) and cutfree proofs
• Structural proof theory for first-order weak Kleene logics

Cited in

(11)

• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• scientific article; zbMATH DE number 1160599 (Why is no real title available?)
• First-order theories for pure Prolog programs with negation
• Metainferential duality
• Gentzen in the 3- and 4-valued jungle
• Derivability and metainferential validity
• Valuations: bi, tri, and tetra
• Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
• Metasequents and tetravaluations
• Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems
• Structural proof theory for first-order weak Kleene logics

This page was built for publication: About some symmetries of negation

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