A Note on Stahl's Opposite System

DOI10.1002/MALQ.19890350503zbMath0661.03017OpenAlexW1993935534MaRDI QIDQ3809774

Takao Inoue

Publication date: 1989

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19890350503

zbMATH Keywords

cut eliminationGentzen-style sequent calculiHilbert-style propositional logicmethod of rejected formulasunprovable formula

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Basic properties of first-order languages and structures (03C07)

This page was built for publication: A Note on Stahl's Opposite System