PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
From MaRDI portal
Publication:3934366
DOI10.1070/IM1982V018N01ABEH001382zbMATH Open0478.03009OpenAlexW2134788346MaRDI QIDQ3934366FDOQ3934366
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)
- NAIVE SET THEORY AND NONTRANSITIVE LOGIC
- 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
- \(\bigstar\)-autonomous lattices
- MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
- Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case
- Linear logic by levels and bounded time complexity
- Semisimplicity and the discriminator in bounded BCK-algebras
- Implementing Cantor’s Paradise
- On Evans's vague object from set theoretic viewpoint
- Systems for non-reflexive consequence
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS
- Soft linear set theory
- CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS
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)
