scientific article; zbMATH DE number 910441

MaRDI QIDQ4888331zbMATHFDO

Authors Beata Bugajska, Kazimiera Dyrda

Publication date 28 July 1996

zbMATH Keywords

predicate logicsubstitution rules for predicate symbols

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Recommendations

• An emendation of the axiom system of Hilbert and Ackermann for the restricted calculus of predicates
• SUBSTITUTION IN RELEVANT LOGICS
• Axiomatisation of substitution
• Formal notes on the substitutional analysis of logical consequence
• On the soundness and completeness of equational predicate logics

Cited in

(6)

• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
• scientific article; zbMATH DE number 5910658 (Why is no real title available?)
• The Rule of Existential Generalisation and Explicit Substitution
• scientific article; zbMATH DE number 3961575 (Why is no real title available?)
• Reusing and modifying rulebases by predicate substitution
• An emendation of the axiom system of Hilbert and Ackermann for the restricted calculus of predicates

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