Distributive-lattice semantics of sequent calculi with structural rules (Q1931305): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-009-0001-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1991361313
@@ Property / OpenAlex ID: W1991361313 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4489073
@@ Property / cites work: Q4489073 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Eine Darstellung der Intuitionistischen Logik in der Klassischen
+Normal rank
@@ Property / cites work @@
+Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
+Normal rank
@@ Property / cites work @@
+Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
+Normal rank
@@ Property / cites work @@
+Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
+Normal rank
@@ Property / cites work @@
+Q4660202
@@ Property / cites work: Q4660202 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4822149
@@ Property / cites work: Q4822149 / rank @@
+Normal rank
@@ Property / cites work @@
+Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory
@@ Property / cites work: Proof theory / rank @@
+Normal rank