A note on contraction-free logic for validity (Q1708464): 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/s11245-014-9241-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2049445104
@@ Property / OpenAlex ID: W2049445104 / rank @@
+Normal rank
@@ Property / cites work @@
+The pure calculus of entailment
@@ Property / cites work: The pure calculus of entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Simple consequence relations
@@ Property / cites work: Simple consequence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4662877
@@ Property / cites work: Q4662877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3543573
@@ Property / cites work: Q3543573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3058982
@@ Property / cites work: Q3058982 / rank @@
+Normal rank
@@ Property / cites work @@
+PLURALISM IN LOGIC
@@ Property / cites work: PLURALISM IN LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Kripke's theory of truth
@@ Property / cites work: Axiomatizing Kripke's theory of truth / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Logical consequence and the paradoxes
@@ Property / cites work: Logical consequence and the paradoxes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4135469
@@ Property / cites work: Q4135469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992933
@@ Property / cites work: Q3992933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5588619
@@ Property / cites work: Q5588619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483305
@@ Property / cites work: Q5483305 / rank @@
+Normal rank
@@ Property / cites work @@
+Assertion, Denial and Non-classical Theories
@@ Property / cites work: Assertion, Denial and Non-classical Theories / rank @@
+Normal rank
@@ Property / cites work @@
+CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
+Normal rank
@@ Property / cites work @@
+Semantical analysis of Arruda da Costa P systems and adjacent non- replacement relevant systems
+Normal rank
@@ Property / cites work @@
+Q4077984
@@ Property / cites work: Q4077984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive logic with strong negation is a substructural logic. I
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1708464