scientific article; zbMATH DE number 1354137

MaRDI QIDQ4268451zbMATH OpenFDO

Authors Seán Matthews, David Basin

Publication date 31 October 1999

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• First-order modular logic programs and their conservative extensions
• Some conservative extension results on classical and intuitionistic sequent calculi
• scientific article; zbMATH DE number 1751350
• Conservative extensions in modal logic
• A proof theoretic tool for first-order modal logic
• scientific article; zbMATH DE number 1070624
• Fixed-point extensions of first-order logic
• Propositional proof systems, the consistency of first order theories and the complexity of computations
• scientific article; zbMATH DE number 824731
• Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic

Cited in

(7)

• Model-theoretic conservative extension for definitional theories
• Geometrisation of first-order logic
• Extended First-Order Logic
• Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
• scientific article; zbMATH DE number 4066873 (Why is no real title available?)
• Conservative Extensions in Horn Description Logics with Inverse Roles
• Tait's conservative extension theorem revisited

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