The following pages link to (Q3987719):
Displayed 15 items.
- On rules (Q266650) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Finite frames fail: how infinity works its way into the semantics of admissibility (Q514509) (← links)
- Maximality and refutability (Q558425) (← links)
- Refutation systems in modal logic (Q1327486) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- A refutation theory (Q1931339) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)
- The Procedures for Belief Revision (Q3600572) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- A Generalisation of a Refutation-related Method in Paraconsistent Logics (Q4683226) (← links)
- Sequent-type rejection systems for finite-valued non-deterministic logics (Q6080581) (← links)