PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS

DOI10.1070/IM1982V018N01ABEH001382MaRDI QIDQ3934366zbMATH OpenOpenAlexFDO

Authors V. N. Grishin

Publication date 1982

Published in Mathematics of the USSR-Izvestiya (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/im1982v018n01abeh001382

zbMATH Keywords

algebraic completenessGentzen predicate calculus without contraction rules

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25) Proof theory and constructive mathematics (03F99) Set theory (03E99)

Cited in

(22)

• Modal logic without contraction in a metatheory without contraction
• Non-classical metatheory for non-classical logics
• Light linear logic
• Linear logic by levels and bounded time complexity
• Implementing Cantor's paradise
• Contractions of noncontractive consequence relations
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• Logical consequence and the paradoxes
• Systems for non-reflexive consequence
• Soft linear set theory
• Uniform interpolation in substructural logics
• Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
• Semisimplicity and the discriminator in bounded BCK-algebras
• Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case
• Paths to triviality
• Remarks on a survey article on many valued logic by A. Urquhart
• Light linear logic
• Boolean representation of bounded BCK-algebras
• \(\bigstar\)-autonomous lattices
• On Evans's vague object from set theoretic viewpoint
• Naive set theory and nontransitive logic
• Cut elimination for systems of transparent truth with restricted initial sequents

This page was built for publication: PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3934366)