On proofs of rejection

DOI10.1007/BF02121854MaRDI QIDQ2556848zbMATH OpenFDO

Authors Walenty Staszek

Publication date 1971

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02121854

Mathematics Subject Classification ID

General logic (03B99)

Cites work

• Aristotle's syllogistic from the standpoint of modern formal logic

Cited in

(6)

• Refutation systems in modal logic
• The theory of rejected propositions. II
• Theory of rejected propositions. I
• A meta-logic of inference rules: syntax
• Deductive systems with unified multiple-conclusion rules
• The method of axiomatic rejection for the intuitionistic propositional logic

This page was built for publication: On proofs of rejection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2556848)