About some symmetries of negation

DOI10.2307/2275401zbMath0811.03006OpenAlexW2036279110MaRDI QIDQ4302346

Gerhard Jäger, Brigitte Hösli

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)

Related Items (6)

First-order theories for pure Prolog programs with negation ⋮ Cut elimination, identity elimination, and interpolation in super-Belnap logics ⋮ Metasequents and tetravaluations ⋮ Derivability and metainferential validity ⋮ Valuations: bi, tri, and tetra ⋮ Metainferential duality

Cites Work

• Unnamed Item
• Unnamed Item

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