The semantic isomorphism theorem in abstract algebraic logic (Q324257): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+G27
@@ Property / Mathematics Subject Classification ID: 03G27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F07
@@ Property / Mathematics Subject Classification ID: 06F07 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B47
@@ Property / Mathematics Subject Classification ID: 03B47 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A15
@@ Property / Mathematics Subject Classification ID: 18A15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6637001
@@ Property / zbMATH DE Number: 6637001 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algebraizable logics
@@ Property / zbMATH Keywords: algebraizable logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+abstract algebraic logic
@@ Property / zbMATH Keywords: abstract algebraic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+structural closure operators
@@ Property / zbMATH Keywords: structural closure operators / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semantic isomorphism theorem
@@ Property / zbMATH Keywords: semantic isomorphism theorem / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+evaluational frames
@@ Property / zbMATH Keywords: evaluational frames / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+compositional lattice
@@ Property / zbMATH Keywords: compositional lattice / rank @@
+Normal rank
@@ 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.1016/j.apal.2016.08.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2515410204
@@ Property / OpenAlex ID: W2515410204 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3411966
@@ Property / cites work: Q3411966 / rank @@
+Normal rank
@@ Property / cites work @@
+Category Theory
@@ Property / cites work: Category 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 @@
+Projectives and injectives in the category of complete lattices with residuated mappings
+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 @@
+Update to ``A survey of abstract algebraic logic''
+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 @@
+Algebraic point lattices of quasivarieties
@@ Property / cites work: Algebraic point lattices of quasivarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondences between gentzen and hilbert systems
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical 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
@@ links / mardi / name / links / mardi / name @@
+Publication:324257