An unexpected Boolean connective (Q2169126): Difference between revisions

@@ Property / OpenAlex ID @@
+W3175375473
@@ Property / OpenAlex ID: W3175375473 / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties and decision problems of dag automata
+Normal rank
@@ Property / cites work @@
+Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
+Normal rank
@@ Property / cites work @@
+Proof systems for reasoning about computation errors
+Normal rank
@@ Property / cites work @@
+Non-deterministic Multiple-valued Structures
@@ Property / cites work: Non-deterministic Multiple-valued Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-valued semantics for canonical labelled calculi
+Normal rank
@@ Property / cites work @@
+The complexity of propositional implication
@@ Property / cites work: The complexity of propositional implication / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of left variable inclusion and Płonka sums of matrices
+Normal rank
@@ Property / cites work @@
+Analytic calculi for monadic PNmatrices
@@ Property / cites work: Analytic calculi for monadic PNmatrices / rank @@
+Normal rank
@@ Property / cites work @@
+On Axioms and Rexpansions
@@ Property / cites work: On Axioms and Rexpansions / rank @@
+Normal rank
@@ Property / cites work @@
+Combining fragments of classical logic: when are interaction principles needed?
+Normal rank
@@ Property / cites work @@
+Characterizing finite-valuedness
@@ Property / cites work: Characterizing finite-valuedness / rank @@
+Normal rank
@@ Property / cites work @@
+Taming Paraconsistent (and Other) Logics
@@ Property / cites work: Taming Paraconsistent (and Other) Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Swap structures semantics for Ivlev-like modal logics
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217280
@@ Property / cites work: Q4217280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093482
@@ Property / cites work: Q3093482 / rank @@
+Normal rank
@@ Property / cites work @@
+Disjoint fibring of non-deterministic matrices
@@ Property / cites work: Disjoint fibring of non-deterministic matrices / rank @@
+Normal rank
@@ Property / cites work @@
+On the representation of \(\mathbf{N4}\)-lattices
@@ Property / cites work: On the representation of \(\mathbf{N4}\)-lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Decision and optimization problems in the unreliable-circuit logic
+Normal rank
@@ Property / cites work @@
+-element matrices
@@ Property / cites work: 2-element matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating disjunctions by disjunction elimination
+Normal rank
@@ Property / cites work @@
+Implicative twist-structures
@@ Property / cites work: Implicative twist-structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079581
@@ Property / cites work: Q4079581 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate reasoning about logic circuits with single-fan-out unreliable gates
+Normal rank
@@ Property / cites work @@
+Fibring of logics as a categorial construction
@@ Property / cites work: Fibring of logics as a categorial construction / rank @@
+Normal rank
@@ Property / cites work @@
+On meet-combination of logics
@@ Property / cites work: On meet-combination of logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank
@@ Property / cites work @@
+Q4109644
@@ Property / cites work: Q4109644 / rank @@
+Normal rank