Three ways of recognizing inessential formulas in sequents
From MaRDI portal
Publication:1167722
DOI10.1007/BF01629445zbMath0492.03024OpenAlexW2323486780MaRDI QIDQ1167722
Publication date: 1982
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01629445
derivabilityhereditary unsolvabilityintuitionistic equality theoryintuitionistic monadic predicate calculusunessential formulas in classical and intuitionistic predicate calculus
Other nonclassical logic (03B60) Classical first-order logic (03B10) Intuitionistic mathematics (03F55) Complexity of proofs (03F20)
Cites Work