Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2808338026
@@ Property / OpenAlex ID: W2808338026 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4339467
@@ Property / cites work: Q4339467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4408741
@@ Property / cites work: Q4408741 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5839915
@@ Property / cites work: Q5839915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5839916
@@ Property / cites work: Q5839916 / rank @@
+Normal rank
@@ Property / cites work @@
+Systematization of finite many-valued logics through the method of tableaux
+Normal rank
@@ Property / cites work @@
+Q4012975
@@ Property / cites work: Q4012975 / rank @@
+Normal rank
@@ Property / cites work @@
+A meta-logic of inference rules: Syntax
@@ Property / cites work: A meta-logic of inference rules: Syntax / rank @@
+Normal rank
@@ Property / cites work @@
+The method of axiomatic rejection for the intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q3360159
@@ Property / cites work: Q3360159 / rank @@
+Normal rank
@@ Property / cites work @@
+Refutation systems in modal logic
@@ Property / cites work: Refutation systems in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5341746
@@ Property / cites work: Q5341746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3227561
@@ Property / cites work: Q3227561 / rank @@
+Normal rank
@@ Property / cites work @@
+On Lesniewski's elementary ontology
@@ Property / cites work: On Lesniewski's elementary ontology / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of decidability of the traditional calculus of names
+Normal rank
@@ Property / cites work @@
+Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
+Normal rank
@@ Property / cites work @@
+Q5805951
@@ Property / cites work: Q5805951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813911
@@ Property / cites work: Q5813911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5821423
@@ Property / cites work: Q5821423 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613169
@@ Property / cites work: Q5613169 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4073351
@@ Property / cites work: Q4073351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599136
@@ Property / cites work: Q5599136 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3987719
@@ Property / cites work: Q3987719 / rank @@
+Normal rank
@@ Property / cites work @@
+Refutation calculi for certain intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+Q4889421
@@ Property / cites work: Q4889421 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic refutations against finite models in modal logic
+Normal rank
@@ Property / cites work @@
+A Łukasiewicz-style refutation system for the modal logic S4
+Normal rank
@@ Property / cites work @@
+Q5688804
@@ Property / cites work: Q5688804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484080
@@ Property / cites work: Q4484080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5846098
@@ Property / cites work: Q5846098 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5810537
@@ Property / cites work: Q5810537 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of L-decidability of Lewis system S5
@@ Property / cites work: Proof of L-decidability of Lewis system S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of rejected propositions. I
@@ Property / cites work: Theory of rejected propositions. I / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of rejected propositions. II
@@ Property / cites work: The theory of rejected propositions. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411400
@@ Property / cites work: Q5411400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3629897
@@ Property / cites work: Q3629897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3105692
@@ Property / cites work: Q3105692 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063408
@@ Property / cites work: Q4063408 / rank @@
+Normal rank
@@ Property / cites work @@
+A certain interpretation of the theory of rejected propositions
+Normal rank
@@ Property / cites work @@
+Q4766974
@@ Property / cites work: Q4766974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4073368
@@ Property / cites work: Q4073368 / rank @@
+Normal rank
@@ Property / cites work @@
+On comparison of theories by their contents
@@ Property / cites work: On comparison of theories by their contents / rank @@
+Normal rank
@@ Property / cites work @@
+Q4060958
@@ Property / cites work: Q4060958 / rank @@
+Normal rank
@@ Property / cites work @@
+On pairs of dual consequence operations
@@ Property / cites work: On pairs of dual consequence operations / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4611693