The following pages link to (Q5813911):
Displaying 27 items.
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Philosophical reflection on mathematics in Poland in the interwar period (Q598321) (← links)
- The method of axiomatic rejection for the intuitionistic propositional logic (Q750414) (← links)
- Disjunctive property of superintuitionist and modal logics (Q1109023) (← links)
- Two classes of intermediate propositional logics without disjunction property (Q1115419) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Proof of L-decidability of Lewis system S5 (Q1219801) (← links)
- Refutation systems in modal logic (Q1327486) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- The theory of rejected propositions. II (Q1843431) (← links)
- A method to single out maximal propositional logics with the disjunction property. I (Q1902974) (← links)
- A method to single out maximal propositional logics with the disjunction property. II (Q1902977) (← links)
- A refutation theory (Q1931339) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- On refutation rules (Q1941727) (← links)
- Some results on the intermediate logics (Q2557689) (← links)
- Theory of rejected propositions. I (Q2557697) (← links)
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül (Q3246321) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- Jan Łukasiewicz Life, Work, Legacy (Q5056078) (← links)
- The Context of Inference (Q5208107) (← links)
- A Generalization of Maksimova’s Criterion for the Disjunction Property (Q5214734) (← links)
- Relevance Logic as a Conservative Extension of Classical Logic (Q5250318) (← links)
- Rejection: a historico-epistemological view (Q6146291) (← links)
- Unified deductive systems: an outline (Q6146292) (← links)
- Notes on my scientific life (Q6612807) (← links)
