scientific article; zbMATH DE number 6307935

zbMath1315.03108MaRDI QIDQ4981450

Hajime Ishihara

Publication date: 24 June 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Classical first-order logic (03B10) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Relative consistency and interpretations (03F25)

Related Items

Glivenko sequent classes in the light of structural proof theory ⋮ CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC