scientific article; zbMATH DE number 638363

MaRDI QIDQ4305337zbMATH OpenFDO

Authors Teodor Stȩpień

Publication date 17 October 1994

zbMATH Keywords

basic sequentelementary ruleformalization of classical functional calculus with identity

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Recommendations

• scientific article; zbMATH DE number 31602
• scientific article; zbMATH DE number 120344
• scientific article; zbMATH DE number 3316863
• On the definition of ‘formal deduction’

Cited in

(16)

• scientific article; zbMATH DE number 3316863 (Why is no real title available?)
• scientific article; zbMATH DE number 7401822 (Why is no real title available?)
• Bases for first-order theories and subtheories
• On translations of complete first order theories
• Adding metatheoretic facilities to first-order theories
• Predicate calculus and metatheoretic concepts within a basic theory for the Foundations of Mathematics
• scientific article; zbMATH DE number 7333179 (Why is no real title available?)
• On the definition of ‘formal deduction’
• The identity of individuals in a strict functional calculus of second order
• Notes on models of first-order mereological theories
• scientific article; zbMATH DE number 910444 (Why is no real title available?)
• scientific article; zbMATH DE number 1907992 (Why is no real title available?)
• Detection of First Order Axiomatic Theories
• On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications
• scientific article; zbMATH DE number 1301853 (Why is no real title available?)
• scientific article; zbMATH DE number 3057872 (Why is no real title available?)

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