On pairs of dual consequence operations (Q1941723): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-011-0030-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2160634047
@@ Property / OpenAlex ID: W2160634047 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions and intensions in the rough set theory
@@ Property / cites work: Extensions and intensions in the rough set theory / rank @@
+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 @@
+Basic properties of deductive systems based on nonclassical logics. Part I, II
+Normal rank
@@ Property / cites work @@
+Completeness theory for propositional logics
@@ Property / cites work: Completeness theory for propositional logics / 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 @@
+Normal forms in combinatory logic
@@ Property / cites work: Normal forms in combinatory logic / rank @@
+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 @@
+A refutation theory
@@ Property / cites work: A refutation theory / 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 @@
+On comparison of theories by their contents
@@ Property / cites work: On comparison of theories by their contents / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations for the formalization of metamathematics and axiomatizations of consequence theories
+Normal rank
@@ Property / cites work @@
+Q3358715
@@ Property / cites work: Q3358715 / rank @@
+Normal rank