scientific article; zbMATH DE number 2024617

MaRDI QIDQ4443192zbMATH OpenFDO

Authors Takahiro Seki

Publication date 2001

zbMATH Keywords

interpolation theoremsubstructural logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Interpolation, preservation, definability (03C40) Structure of proofs (03F07)

Recommendations

• A remark on Haas' method
• Some remarks related to Maeda's conjecture
• scientific article; zbMATH DE number 1482953
• scientific article; zbMATH DE number 147736
• A note on the convergence of the MAOR method
• An asymptotic approach in Mahler's method
• Some remarks on the application of Trefftz's method
• A note on Horner's method
• A note on moller's method

Cited in

(3)

• A remark on Haas' method
• On the analytical methods considered essential by Prof. Masanao Aoki in his Japanese textbook
• Falsification-aware semantics and sequent calculi for classical 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 Q4443192)