scientific article

zbMATH Open0759.03007MaRDI QIDQ4025005

Teodor Stȩpień

Publication date: 22 February 1993

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

zbMATH Keywords

propositional logicclassical functional calculus with identityformalization without axiomssingle-axiom systems

Mathematics Subject Classification ID

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

Recommendations

• Single axioms for groups 👍 👎
• A single axiom for Boolean algebras 👍 👎
• A single axiom for set theory 👍 👎
• Single-assumption systems in proof-theoretic semantics 👍 👎
• Single axiom schemata for \(D\) and \(S\) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 Q4025005)