Sequent calculus proof theory of intuitionistic apartness and order relations
From MaRDI portal
Publication:1818431
DOI10.1007/s001530050137zbMath0938.03089OpenAlexW2016732053MaRDI QIDQ1818431
Publication date: 4 January 2000
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530050137
cut-eliminationdisjunction propertycontraction-free sequent calculiintuitionistic theories of apartness and ordertheories of constructive order
Related Items
Syntactic Completeness of Proper Display Calculi, Equality and Apartness in Bi-intuitinistic Logic, Interpolation in extensions of first-order logic, Intuitionistic mereology, Intuitionistic mereology. II: Overlap and disjointness, The eskolemization of universal quantifiers, Admissibility of structural rules for contraction-free systems of intuitionistic logic, Constructive completions of ordered sets, groups and fields, Meaning in Use, Unnamed Item
