scientific article; zbMATH DE number 120344

MaRDI QIDQ4025005zbMATHFDO

Authors Teodor Stȩpień

Publication date 22 February 1993

zbMATH Keywords

propositional logicclassical functional calculus with identityformalization without axiomssingle-axiom systems

Mathematics Subject Classification ID

Classical propositional logic (03B05) Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Single-assumption systems in proof-theoretic semantics
• scientific article; zbMATH DE number 4063061
• A single axiom for set theory
• A single axiom for Boolean algebras
• A single axiom for Boolean algebra
• Single axiom schemata for \(D\) and \(S\)
• scientific article; zbMATH DE number 6290298
• Single axioms for groups
• scientific article; zbMATH DE number 1199088
• scientific article; zbMATH DE number 4134285

Cited in

(9)

• scientific article; zbMATH DE number 35401 (Why is no real title available?)
• Investigations in protothetic
• A Note on Tarski's Note
• scientific article; zbMATH DE number 650883 (Why is no real title available?)
• On Tarski's axiomatic foundations of the calculus of relations
• scientific article; zbMATH DE number 4063061 (Why is no real title available?)
• The one variable implicational calculus
• scientific article; zbMATH DE number 3972841 (Why is no real title available?)
• A SUFFICIENT AND NECESSARY CONDITION FOR TARSKI'S PROPERTY IN LINDENBAUM'S EXTENSIONS

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