On proofs of rejection

DOI10.1007/BF02121854zbMath0251.02019MaRDI QIDQ2556848

Walenty Staszek

Publication date: 1971

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

General logic (03B99)

Related Items (6)

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

Cites Work

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

This page was built for publication: On proofs of rejection