scientific article; zbMATH DE number 910441

zbMATH Open0849.03005MaRDI QIDQ4888331FDOQ4888331

Authors: Beata Bugajska, Kazimiera Dyrda 

Publication date: 28 July 1996

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

predicate logicsubstitution rules for predicate symbols

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cited In (6)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)