Structural and universal completeness in algebra and logic
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
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 (#609,234)
6 months
13 (#258,803)
2023-12-16
Downloads
41 (#609,234)
6 months
13 (#258,803)
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.
Free Constructions in Hoops via $$\ell $$-Groups.Valeria Giustarini,Francesco Manfucci &Sara Ugolini -forthcoming -Studia Logica:1-49.
Structurally complete finitary extensions of positive Łukasiewicz logic.Paolo Aglianò &Francesco Manfucci -forthcoming -Logic Journal of the IGPL.
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.
Structural Completeness in Substructural Logics.J. S. Olson,J. G. Raftery &C. J. Van Alten -2008 -Logic Journal of the IGPL 16 (5):453-495.
Basic Hoops: an Algebraic Study of Continuous t-norms.P. Aglianò,I. M. A. Ferreirim &F. Montagna -2007 -Studia Logica 87 (1):73-98.
Correspondences between Gentzen and Hilbert Systems.J. G. Raftery -2006 -Journal of Symbolic Logic 71 (3):903 - 957.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-k24bk uwo