Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 2047280

From MaRDI portal
Publication:4451468
Jump to:navigation, search

zbMATH Open1033.03033MaRDI QIDQ4451468FDOQ4451468


Authors: Mirjana Borisavljević Edit this on Wikidata


Publication date: 26 February 2004



Title of this publication is not available (Why is that?)



Recommendations

  • A cut-elimination proof in intuitionistic predicate logic
  • Bounds for cut elimination in intuitionistic propositional logic
  • On permuting cut with contraction
  • A proof of Gentzen's \textit{Hauptsatz} without multicut
  • Two measures for proving Gentzen's Hauptsatz without mix


zbMATH Keywords

cut-eliminationintuitionistic predicate logic


Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)



Cited In (4)

  • Two measures for proving Gentzen's Hauptsatz without mix
  • Cut elimination in sequent calculi with implicit contraction, with a conjecture on the origin of Gentzen's altitude line construction
  • On permuting cut with contraction
  • A proof of Gentzen's \textit{Hauptsatz} without multicut





This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4451468)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4451468&oldid=18506257"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 7 February 2024, at 04:39. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki