scientific article; zbMATH DE number 638363

zbMATH Open0804.03003MaRDI QIDQ4305337FDOQ4305337

Authors: Teodor Stȩpień 

Publication date: 17 October 1994

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

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’

zbMATH Keywords

basic sequentelementary ruleformalization of classical functional calculus with identity

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Cited In (16)

• Title not available (Why is that?)
• On translations of complete first order theories
• Bases for first-order theories and subtheories
• Adding metatheoretic facilities to first-order theories
• Title not available (Why is that?)
• Predicate calculus and metatheoretic concepts within a basic theory for the Foundations of Mathematics
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Detection of First Order Axiomatic Theories
• On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)