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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

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

Structural Completeness in Many-Valued Logics with Rational Constants.Joan Gispert, Zuzana Haniková, Tommaso Moraschini & Michał Stronkowski - 2022 - Notre Dame Journal of Formal Logic 63 (3):261-299.
The universal group of a Heyting effect algebra.David J. Foulis - 2006 - Studia Logica 84 (3):407 - 424.
The Universal Group of a Heyting Effect Algebra.David J. Foulis - 2006 - Studia Logica 84 (3):407-424.
Process algebra with four-valued logic.Jan A. Bergstra & Alban Ponse - 2000 - Journal of Applied Non-Classical Logics 10 (1):27-53.
Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
Pavelka-style completeness in expansions of Łukasiewicz logic.Hector Freytes - 2008 - Archive for Mathematical Logic 47 (1):15-23.
Structural Features in Ernst Schröder's Work. Part II.Davide Bondoni - 2012 - Logic and Logical Philosophy 21 (3):271-315.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
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.
On structural completeness versus almost structural completeness problem: A discriminator varieties case study.M. Campercholi, M. M. Stronkowski & D. Vaggione - 2015 - Logic Journal of the IGPL 23 (2):235-246.
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness.Sándor Jenei - 2022 - Archive for Mathematical Logic 62 (1):67-86.
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.
Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 , pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springe. [REVIEW]Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
The Semantic Completeness of a Global Intuitionistic Logic.Hiroshi Aoyama - 1998 - Mathematical Logic Quarterly 44 (2):167-175.

Analytics

Added to PP
2023-12-16

Downloads
16 (#901,303)

6 months
16 (#154,185)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

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 19 references / Add more references