Replacement in logic (Q1947034): 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/s10992-011-9212-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2011595239
@@ Property / OpenAlex ID: W2011595239 / rank @@
+Normal rank
@@ Property / cites work @@
+Widerspruchsfreier Aufbau der Logik I
@@ Property / cites work: Widerspruchsfreier Aufbau der Logik I / rank @@
+Normal rank
@@ Property / cites work @@
+Monotone versus positive
@@ Property / cites work: Monotone versus positive / rank @@
+Normal rank
@@ Property / cites work @@
+The sentential calculus using rule of inference R<sub>e</sub>
+Normal rank
@@ Property / cites work @@
+Q4023235
@@ Property / cites work: Q4023235 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Consequence Inside Out
@@ Property / cites work: Logical Consequence Inside Out / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485829
@@ Property / cites work: Q4485829 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential logics. I
@@ Property / cites work: Equivalential logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+On Łukasiewicz's four-valued modal logic
@@ Property / cites work: On Łukasiewicz's four-valued modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic with strong negation
@@ Property / cites work: Intuitionistic logic with strong negation / rank @@
+Normal rank
@@ Property / cites work @@
+Q5827946
@@ Property / cites work: Q5827946 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Equality
@@ Property / cites work: The Logic of Equality / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatization of the De Morgan type rules
@@ Property / cites work: Axiomatization of the De Morgan type rules / rank @@
+Normal rank
@@ Property / cites work @@
+BCK and BCI logics, condensed detachment and the 2-property
+Normal rank
@@ Property / cites work @@
+For Want of an ‘And’: A Puzzle about Non-Conservative Extension
+Normal rank
@@ Property / cites work @@
+Investigations into a left-structural right-substructural sequent calculus
+Normal rank
@@ Property / cites work @@
+Replacing Modus Ponens With One-Premiss Rules
@@ Property / cites work: Replacing Modus Ponens With One-Premiss Rules / rank @@
+Normal rank
@@ Property / cites work @@
+On a conservative extension argument of Dana Scott
+Normal rank
@@ Property / cites work @@
+Q5411456
@@ Property / cites work: Q5411456 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329466
@@ Property / cites work: Q3329466 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-implications in BCI
@@ Property / cites work: Self-implications in BCI / rank @@
+Normal rank
@@ Property / cites work @@
+Q3268305
@@ Property / cites work: Q3268305 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties preserved in subdirect products
@@ Property / cites work: Properties preserved in subdirect products / rank @@
+Normal rank
@@ Property / cites work @@
+A warning about the choice of primitive operators in modal logic
+Normal rank
@@ Property / cites work @@
+Q3967517
@@ Property / cites work: Q3967517 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution to the <i>P</i> − <i>W</i> problem
@@ Property / cites work: Solution to the <i>P</i> − <i>W</i> problem / rank @@
+Normal rank
@@ Property / cites work @@
+Every quotient algebra for \(C_1\) is trivial
@@ Property / cites work: Every quotient algebra for \(C_1\) is trivial / rank @@
+Normal rank
@@ Property / cites work @@
+Abelian logic and the logics of pointed lattice-ordered varieties
+Normal rank
@@ Property / cites work @@
+Two additions to positive implication
@@ Property / cites work: Two additions to positive implication / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752408
@@ Property / cites work: Q2752408 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of weak Kripke semantics to intermediate consequences
+Normal rank
@@ Property / cites work @@
+A calculus for the common rules of \(\wedge\) and \(\vee\)
+Normal rank
@@ Property / cites work @@
+Axiom schemes for <i>m</i>-valued functional calculi of first order. Part II
+Normal rank
@@ Property / cites work @@
+Rules and Derived Rules
@@ Property / cites work: Rules and Derived Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3952081
@@ Property / cites work: Q3952081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+The independence of connectives
@@ Property / cites work: The independence of connectives / rank @@
+Normal rank
@@ Property / cites work @@
+Relative necessity
@@ Property / cites work: Relative necessity / rank @@
+Normal rank
@@ Property / cites work @@
+Identity connective and modality
@@ Property / cites work: Identity connective and modality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditionals and actuality
@@ Property / cites work: Conditionals and actuality / rank @@
+Normal rank
@@ Property / cites work @@
+The semisubstitutivity of strict implication
@@ Property / cites work: The semisubstitutivity of strict implication / rank @@
+Normal rank