Structural and universal completeness in algebra and logic

&
Annals of Pure and Applied Logic 175 (3):103391 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103391

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,756

External links

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

Through your library

My notes

Similar books and articles

Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
Exponentiations over the universal enveloping algebra of s l 2.Sonia L’Innocente, Angus Macintyre & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (12):1565-1580.
On arithmetical completeness of the logic of proofs.Sohei Iwata & Taishi Kurahashi - 2019 - Annals of Pure and Applied Logic 170 (2):163-179.
Provability logic and the completeness principle.Albert Visser & Jetze Zoethout - 2019 - Annals of Pure and Applied Logic 170 (6):718-753.
Completeness in local positive logic.Arturo Rodríguez Fanlo & Ori Segel - 2025 - Annals of Pure and Applied Logic 176 (7):103601.
A completeness proof for adapted probability logic.H. Jerome Keisler - 1986 - Annals of Pure and Applied Logic 31:61-70.
Strong conceptual completeness for first-order logic.Michael Makkai - 1988 - Annals of Pure and Applied Logic 40 (2):167-215.
Conceptual completeness for first-order Intuitionistic logic: an application of categorical logic.Andrew M. Pitts - 1989 - Annals of Pure and Applied Logic 41 (1):33-81.
Completeness proofs for propositional logic with polynomial-time connectives.John N. Crossley & Philip J. Scott - 1989 - Annals of Pure and Applied Logic 44 (1-2):39-52.
On the semantics of the universal quantifier.Djordje Čubrić - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.

Analytics

Added to PP
2023-12-16

Downloads
41 (#615,866)

6 months
13 (#267,098)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the Structure of Bochvar Algebras.Stefano Bonzio & Michele Pra Baldi - 2025 - Review of Symbolic Logic 18 (1):273-299.

Add more citations

References found in this work

Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
Consequence Relations and Admissible Rules.Rosalie Iemhoff - 2016 - Journal of Philosophical Logic 45 (3):327-348.
Correspondences between Gentzen and Hilbert Systems.J. G. Raftery - 2006 - Journal of Symbolic Logic 71 (3):903 - 957.

View all 18 references / Add more references