scientific article; zbMATH DE number 120344

zbMATH Open0759.03007MaRDI QIDQ4025005FDOQ4025005

Authors: Teodor Stȩpień 

Publication date: 22 February 1993

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

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

Cited In (8)

• Title not available (Why is that?)
• A SUFFICIENT AND NECESSARY CONDITION FOR TARSKI'S PROPERTY IN LINDENBAUM'S EXTENSIONS
• The one variable implicational calculus
• A Note on Tarski's Note
• Title not available (Why is that?)
• Title not available (Why is that?)
• Investigations in protothetic
• 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 Q4025005)