scientific article; zbMATH DE number 4154443
From MaRDI portal
Publication:3483288
zbMATH Open0704.03042MaRDI QIDQ3483288FDOQ3483288
Authors: Takeshi Oshiba, Yaichi Nishino, Toshiharu Minaguchi 
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3914292
- A constructive proof of Kirszbraun's theorem
- A constructive proof of Vizing's theorem
- scientific article; zbMATH DE number 4198022
- A natural proof system for Herbrand's theorem
- On Herbrand's theorem
- scientific article; zbMATH DE number 4075219
- scientific article; zbMATH DE number 417302
- A constructive proof of Masser’s Theorem
- scientific article; zbMATH DE number 1841838
Proof theory in general (including proof-theoretic semantics) (03F03) Metamathematics of constructive systems (03F50)
Cited In (18)
- Understanding Resolution Proofs through Herbrand’s Theorem
- A herbrandized functional interpretation of classical first-order logic
- A constructive proof of the Gohberg-Semencul formula
- Satisfying predicates: Kleene's proof of the Hilbert-Bernays theorem
- Herbrand's theorem and non-Euclidean geometry
- On Herbrand's theorem
- Title not available (Why is that?)
- A note on a proof of Shepherdson
- On Herbrand’s Theorem for Intuitionistic Logic
- A constructive proof of the Chang-Marshall theorem
- Title not available (Why is that?)
- Sequent forms of Herbrand theorem and their applications
- A constructive proof of Kirszbraun's theorem
- A constructive proof of Masser’s Theorem
- On Herbrand's theorem for hybrid logic
- A natural proof system for Herbrand's theorem
- Title not available (Why is that?)
- On two classical results in the first order logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3483288)
