scientific article; zbMATH DE number 3074853
From MaRDI portal
Publication:5813911
zbMath0048.00401MaRDI QIDQ5813911
Publication date: 1952
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (26)
Refutation systems in modal logic ⋮ Jan Łukasiewicz Life, Work, Legacy ⋮ A method to single out maximal propositional logics with the disjunction property. I ⋮ A method to single out maximal propositional logics with the disjunction property. II ⋮ Disjunctive property of superintuitionist and modal logics ⋮ Two classes of intermediate propositional logics without disjunction property ⋮ Philosophical reflection on mathematics in Poland in the interwar period ⋮ A refutation theory ⋮ Rejection: a historico-epistemological view ⋮ Unified deductive systems: an outline ⋮ On pairs of dual consequence operations ⋮ On refutation rules ⋮ Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül ⋮ Generalized tableau systems for intermediate propositional logics ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ The disjunction property of intermediate propositional logics ⋮ A semantic hierarchy for intuitionistic logic ⋮ Proof of L-decidability of Lewis system S5 ⋮ The Context of Inference ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ The method of axiomatic rejection for the intuitionistic propositional logic ⋮ Some results on the intermediate logics ⋮ Theory of rejected propositions. I ⋮ The theory of rejected propositions. II ⋮ Relevance Logic as a Conservative Extension of Classical Logic
This page was built for publication:
