The semantic isomorphism theorem in abstract algebraic logic

Annals of Pure and Applied Logic 167 (12):1298-1331 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,377

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Every recursive boolean algebra is isomorphic to one with incomplete atoms.Rod Downey - 1993 - Annals of Pure and Applied Logic 60 (3):193-206.
Algebraic combinatorics in bounded induction.Joaquín Borrego-Díaz - 2021 - Annals of Pure and Applied Logic 172 (2):102885.
A cut elimination theorem for stationary logic.M. E. Szabo - 1987 - Annals of Pure and Applied Logic 33 (C):181-193.
The Löwenheim-Skolem theorem for Gödel logic.J. P. Aguilera - 2023 - Annals of Pure and Applied Logic 174 (4):103235.
Multi-posets in algebraic logic, group theory, and non-commutative topology.Wolfgang Rump - 2016 - Annals of Pure and Applied Logic 167 (11):1139-1160.
Contextual Category and Generalized Algebraic Theories'.J. Cartmell - 1986 - Annals of Pure and Applied Logic 32.

Analytics

Added to PP
2016-08-26

Downloads
46 (#376,409)

6 months
6 (#1,088,290)

Historical graph of downloads
How can I increase my downloads?

References found in this work

A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Category Theory.S. Awodey - 2007 - Bulletin of Symbolic Logic 13 (3):371-372.
Equivalence of Consequence Operations.W. J. Blok & Bjarni Jónsson - 2006 - Studia Logica 83 (1-3):91-110.
Category Theory.[author unknown] - 2007 - Studia Logica 86 (1):133-135.
Protoalgebraic Logics.Janusz Czelakowski - 2003 - Studia Logica 74 (1):313-342.

View all 13 references / Add more references