For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773): 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.1080/01445340412331325140
+Normal rank
@@ Property / OpenAlex ID @@
+W2080171314
@@ Property / OpenAlex ID: W2080171314 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q58553731
@@ Property / Wikidata QID: Q58553731 / rank @@
+Normal rank
@@ Property / cites work @@
+The implicational fragment of Dummett's LC
@@ Property / cites work: The implicational fragment of Dummett's LC / rank @@
+Normal rank
@@ Property / cites work @@
+Some results for implicational calculi
@@ Property / cites work: Some results for implicational calculi / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+An incomplete logic containing S4
@@ Property / cites work: An incomplete logic containing S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Subformula results in some propositional modal logics
+Normal rank
@@ Property / cites work @@
+Linearization of the BCK-logic
@@ Property / cites work: Linearization of the BCK-logic / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing denumerable matrices strongly adequate for pre-finite logics
+Normal rank
@@ Property / cites work @@
+Some structure results for propositional calculi
@@ Property / cites work: Some structure results for propositional calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo two-valued evaluation method for intermediate logics
+Normal rank
@@ Property / cites work @@
+Expressive power and semantic completeness: Boolean connectives in modal logic
+Normal rank
@@ Property / cites work @@
+Basic properties of the equivalence
@@ Property / cites work: Basic properties of the equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of the equivalential fragment of the three-valued logic of Łukasiewicz
+Normal rank
@@ Property / cites work @@
+Q4277693
@@ Property / cites work: Q4277693 / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Semantics for Implicational Logics
@@ Property / cites work: A Complete Semantics for Implicational Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwerian Semilattices
@@ Property / cites work: Brouwerian Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of the independence of the primitive symbols of Heyting's calculus of propositions
+Normal rank
@@ Property / cites work @@
+Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom
+Normal rank
@@ Property / cites work @@
+Postulates for implicational calculi
@@ Property / cites work: Postulates for implicational calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Two additions to positive implication
@@ Property / cites work: Two additions to positive implication / rank @@
+Normal rank
@@ Property / cites work @@
+The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s
+Normal rank
@@ Property / cites work @@
+More proofs of an axiom of Łukasiewicz
@@ Property / cites work: More proofs of an axiom of Łukasiewicz / rank @@
+Normal rank
@@ Property / cites work @@
+The independence of connectives
@@ Property / cites work: The independence of connectives / rank @@
+Normal rank
@@ Property / cites work @@
+Independence of Tarski's law in Henkin's propositional fragments
+Normal rank
@@ Property / cites work @@
+On The Role of The Polynomial (X → Y) →Y in Some Implicative Algebras
+Normal rank
@@ Property / cites work @@
+A Descending Chain of Incomplete Extensions of Implicational S 5
+Normal rank
@@ Property / cites work @@
+ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5
+Normal rank
@@ Property / cites work @@
+Ramsey eliminability
@@ Property / cites work: Ramsey eliminability / rank @@
+Normal rank
@@ Property / cites work @@
+Skolem's discovery of Gödel-Dummett logic
@@ Property / cites work: Skolem's discovery of Gödel-Dummett logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638302
@@ Property / cites work: Q5638302 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5311063
@@ Property / cites work: Q5311063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3012531
@@ Property / cites work: Q3012531 / rank @@
+Normal rank