scientific article; zbMATH DE number 910441

MaRDI QIDQ4888331zbMATH OpenFDO

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)

• scientific article; zbMATH DE number 5910658 (Why is no real title available?)
• An emendation of the axiom system of Hilbert and Ackermann for the restricted calculus of predicates
• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
• 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

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)