Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-019-02142-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2919673720
@@ Property / OpenAlex ID: W2919673720 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple consequence relations
@@ Property / cites work: Simple consequence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698608
@@ Property / cites work: Q4698608 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
+Normal rank
@@ Property / cites work @@
+Multi-valued Calculi for Logics Based on Non-determinism
+Normal rank
@@ Property / cites work @@
+Non-deterministic Multiple-valued Structures
@@ Property / cites work: Non-deterministic Multiple-valued Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751372
@@ Property / cites work: Q2751372 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-valued semantics for canonical labelled calculi
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Merging fragments of classical logic
@@ Property / cites work: Merging fragments of classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing finite-valuedness
@@ Property / cites work: Characterizing finite-valuedness / rank @@
+Normal rank
@@ Property / cites work @@
+Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
+Normal rank
@@ Property / cites work @@
+Some theorems on structural entailment relations
@@ Property / cites work: Some theorems on structural entailment relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753604
@@ Property / cites work: Q2753604 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Construction of Analytic Sequent Calculi for Sub-classical Logics
+Normal rank
@@ Property / cites work @@
+Three-element nonfinitely axiomatizable matrices
@@ Property / cites work: Three-element nonfinitely axiomatizable matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+-element matrices
@@ Property / cites work: 2-element matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812189
@@ Property / cites work: Q5812189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079581
@@ Property / cites work: Q4079581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+Why conclusions should remain single
@@ Property / cites work: Why conclusions should remain single / rank @@
+Normal rank
@@ Property / cites work @@
+Q3852161
@@ Property / cites work: Q3852161 / rank @@
+Normal rank