AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00220
@@ Property / arXiv ID: 1710.00220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of linear logic
@@ Property / cites work: The semantics and proof theory of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Simple consequence relations
@@ Property / cites work: Simple consequence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic System, Deduction and Implication
@@ Property / cites work: Axiomatic System, Deduction and Implication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698608
@@ Property / cites work: Q4698608 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiset theory
@@ Property / cites work: Multiset theory / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of consequence operations
@@ Property / cites work: Equivalence of consequence operations / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011710
@@ Property / cites work: Q4011710 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+\(M\)-sets and the representation problem
@@ Property / cites work: \(M\)-sets and the representation problem / rank @@
+Normal rank
@@ Property / cites work @@
+Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Equivalence of consequence relations: an order-theoretic and categorical perspective
+Normal rank
@@ Property / cites work @@
+Representations of structural closure operators
@@ Property / cites work: Representations of structural closure operators / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229053
@@ Property / cites work: Q4229053 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3584003
@@ Property / cites work: Q3584003 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantic isomorphism theorem in abstract algebraic logic
+Normal rank
@@ Property / cites work @@
+Substructural logics: a primer
@@ Property / cites work: Substructural logics: a primer / rank @@
+Normal rank
@@ Property / cites work @@
+Definitional equivalence and algebraizability of generalized logical systems
+Normal rank
@@ Property / cites work @@
+Correspondences between gentzen and hilbert systems
+Normal rank
@@ Property / cites work @@
+Order algebraizable logics
@@ Property / cites work: Order algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142030
@@ Property / cites work: Q3142030 / rank @@
+Normal rank
@@ Property / cites work @@
+An order-theoretic analysis of interpretations among propositional deductive systems
+Normal rank
@@ Property / cites work @@
+Q2881201
@@ Property / cites work: Q2881201 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank