scientific article; zbMATH DE number 3726316

MaRDI QIDQ3914964zbMATH OpenFDO

Authors V. N. Grishin

Publication date 1981

zbMATH Keywords

algebraic completeness

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Proof theory and constructive mathematics (03F99)

Cited in

(6)

• Impossibility of defining the class of \(L_ 0\)-algebras by means of identities
• Modal translations in substructural logics
• Weight of the comprehension axiom in a theory based on logic without contractions
• Paradoxes of logical equivalence and identity
• On contraction and the modal fragment
• Peano arithmetic and MALL

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