Pages that link to "Item:Q689214"
From MaRDI portal
The following pages link to Refutation calculi for certain intermediate propositional logics (Q689214):
Displayed 10 items.
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Maximality and refutability (Q558425) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Syntactic refutations against finite models in modal logic (Q1903134) (← links)
- A Łukasiewicz-style refutation system for the modal logic S4 (Q1908788) (← links)
- A refutation theory (Q1931339) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- DLEAC: a dialetheic logic with exclusive assumptions and conclusions (Q2288266) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)