Pages that link to "Item:Q750414"
From MaRDI portal
The following pages link to The method of axiomatic rejection for the intuitionistic propositional logic (Q750414):
Displaying 9 items.
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Refutation systems in modal logic (Q1327486) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview (Q3537540) (← links)
- The Procedures for Belief Revision (Q3600572) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- Sequent calculi for default and autoepistemic logics (Q4645232) (← links)
