scientific article; zbMATH DE number 4130378

MaRDI QIDQ3032253zbMATH OpenFDO

Authors David Isles

Publication date 1989

zbMATH Keywords

derivation-determined interpretationsfinite referenceGentzen sequent system of first-order logicnatural deductionnormal derivationsnormalizationproof theory

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Relative consistency and interpretations (03F25)

Recommendations

• Corrigendum to: ``An order-theoretic analysis of interpretations among propositional deductive systems
• Erratum to: ``Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Erratum to ``The Ricean objection: An analogue of Rice's theorem for first-order theories.
• scientific article; zbMATH DE number 4010472
• Publication:4890395

Cited in

(5)

• Erratum to ``The Ricean objection: An analogue of Rice's theorem for first-order theories.
• scientific article; zbMATH DE number 4099293 (Why is no real title available?)
• Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics
• Erratum to: ``Trakhtenbrot theorem and first-order axiomatic extensions of MTL
• Corrigendum to: ``An order-theoretic analysis of interpretations among propositional deductive systems

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 Q3032253)