The following pages link to On proofs of rejection (Q2556848):
Displaying 6 items.
- The method of axiomatic rejection for the intuitionistic propositional logic (Q750414) (← links)
- Refutation systems in modal logic (Q1327486) (← links)
- The theory of rejected propositions. II (Q1843431) (← links)
- Theory of rejected propositions. I (Q2557697) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- Deductive systems with unified multiple-conclusion rules (Q5061418) (← links)