scientific article; zbMATH DE number 1463257

MaRDI QIDQ4487378zbMATH OpenFDO

Authors Luiz Carlos Pereira, Edward Hermann Haeusler

Publication date 25 July 2000

zbMATH Keywords

extension of the multiplicative fragment of classical propositional linear logicinfinitary extension of phase semanticssequent calculus

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• An infinitary extension of Jankov's theorem
• A nilpotent infinitesimal extension of R
• An infinitary version of Sperner's Lemma.
• \(A\)-infinity structure on Ext-algebras.
• There exists a prolongation functor of infinite order
• scientific article; zbMATH DE number 3666912
• Extension theory and finite products of copies of [\(0,\Omega \))
• The Menger property for infinite ordered sets
• Publication:4714765
• scientific article; zbMATH DE number 427783

Cited in

(4)

• Multiplicative Conjunction as an Extensional Conjunction
• Infinitary classical logic: recursive equations and interactive semantics
• Infinitary affine proofs
• Infinitary proof theory: the multiplicative additive case

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 Q4487378)