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