FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC (Q3389493): Difference between revisions

@@ Property / describes a project that uses @@
+Pesca
@@ Property / describes a project that uses: Pesca / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen-type systems, resolution and tableaux
@@ Property / cites work: Gentzen-type systems, resolution and tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Q4609447
@@ Property / cites work: Q4609447 / rank @@
+Normal rank
@@ Property / cites work @@
+OUP accepted manuscript
@@ Property / cites work: OUP accepted manuscript / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753597
@@ Property / cites work: Q2753597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3467536
@@ Property / cites work: Q3467536 / 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 @@
+Q3994895
@@ Property / cites work: Q3994895 / 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 @@
+A minimal classical sequent calculus free of structural rules
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Bridges between Classical and Nonmonotonic Logic
@@ Property / cites work: Bridges between Classical and Nonmonotonic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744125
@@ Property / cites work: Q2744125 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and structural rules
@@ Property / cites work: Quantales and structural rules / rank @@
+Normal rank
@@ Property / cites work @@
+Uniqueness of axiomatic extensions of cut-free classical propositional logic
+Normal rank
@@ Property / cites work @@
+Advances in proof-theoretic semantics
@@ Property / cites work: Advances in proof-theoretic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358704
@@ Property / cites work: Q3358704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791124
@@ Property / cites work: Q3791124 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1755020319000431
+Normal rank
@@ Property / OpenAlex ID @@
+W2972322463
@@ Property / OpenAlex ID: W2972322463 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127292163
@@ Property / Wikidata QID: Q127292163 / rank @@
+Normal rank