Categorical abstract algebraic logic: referential algebraic semantics (Q368473): Difference between revisions

In this paper the author introduces referential algebraic systems and congruential atlas systems, which generalize referential algebras and congruential atlases (of Wójcicki, Jansana, Palmigiano), respectively. This enables him to formulate an analog of Wójcicki's Theorem for logics formalized as \(\pi\)-institutions. Moreover, the results of Jansana and Palmigiano are generalized to obtain a duality between congruential atlas systems and referential algebraic systems over a fixed categorical algebraic signature.

0 references

reviewed by

Răzvan Diaconescu

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

abstract algebraic logic

0 references

referential algebraic semantics

0 references

Wójcicki's theorem

0 references

generalized matrix model

0 references

algebraic semantics

0 references

duality

0 references

\(\pi \)-institution

0 references

selfextensional logic

0 references

fully selfextensional logic

0 references

congruential atlas systems

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s11225-013-9500-9

0 references

0 references

0 references

0 references

Categorical abstract algebraic logic: Equivalent institutions

0 references

Algebraizable logics

0 references

Q4078023

0 references

A closer look at some subintuitionistic logics

0 references

A new semantics for positive modal logic

0 references

Protoalgebraic logics

0 references

Institution-independent model theory

0 references

Q2753193

0 references

Q3824395

0 references

Belnap's Four-Valued Logic and De Morgan Lattices

0 references

Q4715441

0 references

A survey of abstract algebraic logic

0 references

Algebraic logic for classical conjunction and disjunction

0 references

Q3332238

0 references

Institutions: abstract model theory for specification and programming

0 references

Q5441553

0 references

A propositional logic with explicit fixed points

0 references

Categorical abstract algebraic logic: Algebraizable institutions

0 references

Q5173792

0 references

Q3874177

0 references

Theory of logical calculi. Basic theory of consequence operations

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:368473

@@ Property / review text @@
+In this paper the author introduces referential algebraic systems and congruential atlas systems, which generalize referential algebras and congruential atlases (of Wójcicki, Jansana, Palmigiano), respectively. This enables him to formulate an analog of Wójcicki's Theorem for logics formalized as \(\pi\)-institutions. Moreover, the results of Jansana and Palmigiano are generalized to obtain a duality between congruential atlas systems and referential algebraic systems over a fixed categorical algebraic signature.
+Normal rank
@@ Property / reviewed by @@
+Răzvan Diaconescu
@@ Property / reviewed by: Răzvan Diaconescu / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G30
@@ Property / Mathematics Subject Classification ID: 03G30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G27
@@ Property / Mathematics Subject Classification ID: 03G27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6210412
@@ Property / zbMATH DE Number: 6210412 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+abstract algebraic logic
@@ Property / zbMATH Keywords: abstract algebraic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+referential algebraic semantics
@@ Property / zbMATH Keywords: referential algebraic semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Wójcicki's theorem
@@ Property / zbMATH Keywords: Wójcicki's theorem / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+generalized matrix model
@@ Property / zbMATH Keywords: generalized matrix model / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algebraic semantics
@@ Property / zbMATH Keywords: algebraic semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+duality
@@ Property / zbMATH Keywords: duality / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\(\pi \)-institution
@@ Property / zbMATH Keywords: \(\pi \)-institution / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+selfextensional logic
@@ Property / zbMATH Keywords: selfextensional logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fully selfextensional logic
@@ Property / zbMATH Keywords: fully selfextensional logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+congruential atlas systems
@@ Property / zbMATH Keywords: congruential atlas systems / 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.1007/s11225-013-9500-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2056477860
@@ Property / OpenAlex ID: W2056477860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4465171
@@ Property / cites work: Q4465171 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical abstract algebraic logic: Equivalent institutions
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4078023
@@ Property / cites work: Q4078023 / rank @@
+Normal rank
@@ Property / cites work @@
+A closer look at some subintuitionistic logics
@@ Property / cites work: A closer look at some subintuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+A new semantics for positive modal logic
@@ Property / cites work: A new semantics for positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753193
@@ Property / cites work: Q2753193 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824395
@@ Property / cites work: Q3824395 / rank @@
+Normal rank
@@ Property / cites work @@
+Belnap's Four-Valued Logic and De Morgan Lattices
@@ Property / cites work: Belnap's Four-Valued Logic and De Morgan Lattices / 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 @@
+Algebraic logic for classical conjunction and disjunction
+Normal rank
@@ Property / cites work @@
+Q3332238
@@ Property / cites work: Q3332238 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q5441553
@@ Property / cites work: Q5441553 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with explicit fixed points
@@ Property / cites work: A propositional logic with explicit fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical abstract algebraic logic: Algebraizable institutions
+Normal rank
@@ Property / cites work @@
+Q5173792
@@ Property / cites work: Q5173792 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3874177
@@ Property / cites work: Q3874177 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:368473