PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
From MaRDI portal
Publication:3934366
DOI10.1070/IM1982v018n01ABEH001382zbMath0478.03009OpenAlexW2134788346MaRDI QIDQ3934366
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) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20) Set theory (03E99) Proof theory and constructive mathematics (03F99)
Related Items (22)
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ Paths to triviality ⋮ Non-classical metatheory for non-classical logics ⋮ Implementing Cantor’s Paradise ⋮ Remarks on a survey article on many valued logic by A. Urquhart ⋮ CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS ⋮ NAIVE SET THEORY AND NONTRANSITIVE LOGIC ⋮ UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS ⋮ Systems for non-reflexive consequence ⋮ Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts ⋮ Boolean representation of bounded BCK-algebras ⋮ Logical consequence and the paradoxes ⋮ Soft linear set theory ⋮ Light linear logic ⋮ Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case ⋮ On Evans's vague object from set theoretic viewpoint ⋮ \(\bigstar\)-autonomous lattices ⋮ Semisimplicity and the discriminator in bounded BCK-algebras ⋮ MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION ⋮ Light linear logic ⋮ Cut elimination for systems of transparent truth with restricted initial sequents ⋮ Linear logic by levels and bounded time complexity
This page was built for publication: PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
