Pages that link to "Item:Q1219801"
From MaRDI portal
The following pages link to Proof of L-decidability of Lewis system S5 (Q1219801):
Displaying 5 items.
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- The method of axiomatic rejection for the intuitionistic propositional logic (Q750414) (← links)
- Refutation systems in modal logic (Q1327486) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- Which modal logic is the right one? (Q5937846) (← links)
