A general method of axiomatizing fragments

DOI10.2969/JMSJ/04320413zbMATH Open0737.03002OpenAlexW2066038333MaRDI QIDQ1176090

Tadahiro Uesu

Publication date: 25 June 1992

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/04320413

zbMATH Keywords

cut-eliminationaxiomatization of fragments of first-order theoriesinference formsintuitionistic and classical theories with equality

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

An Avron rule for fragments of R-mingle

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A decidable fragment of predicate calculus 👍 👎
• A constructive consistency proof of a fragment of set theory 👍 👎
• Axiomatizing schemes and their behaviors 👍 👎
• Axiomatizing a fragment of PAFAS 👍 👎
• Closed Fragments of Provability Logics of Constructive Theories 👍 👎
• Algebraic Characterizations for Universal Fragments of Logic 👍 👎
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 👍 👎
• Fragments of First-Order Logic 👍 👎

This page was built for publication: A general method of axiomatizing fragments

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