On structural completeness versus almost structural completeness problem: A discriminator varieties case study

, &
Logic Journal of the IGPL 23 (2):235-246 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzu032

Links

PhilArchive



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

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 Substructural Logics.J. S. Olson, J. G. Raftery & C. J. Van Alten - 2008 - Logic Journal of the IGPL 16 (5):453-495.
Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Arithmetical completeness versus relative completeness.Michal Grabowski - 1988 - Studia Logica 47 (3):213 - 220.
Semisimplicity, EDPC and discriminator varieties of residuated lattices.Tomasz Kowalski - 2004 - Studia Logica 77 (2):255 - 265.
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
On structural completeness of implicational logics.Piotr Wojtylak - 1991 - Studia Logica 50 (2):275 - 297.
Derivability.Teodor Stepien - 1999 - Reports on Mathematical Logic:79-98.
Structural completeness and the disjunction property of intermediate logics.Tadeusz Prucnal - 1975 - Bulletin of the Section of Logic 4 (2):72-73.
Version Spaces, Structural Descriptions and NP-Completeness.Kevin T. Kelly - unknown
Structural Completeness of the Propositional Calculus.W. A. Pogorzelski - 1975 - Journal of Symbolic Logic 40 (4):604-605.
On structural completeness of Łukasiewicz's logics.Marek Tokarz - 1972 - Studia Logica 30 (1):53-58.
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator.Hiroki Takamura - 2012 - Studia Logica 100 (6):1137-1148.
Structural completeness of modal logics containing k4.Wies law Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):32-35.
On the structural completeness of some pure implicational propositional calculi.Tadeusz Prucnal - 1972 - Studia Logica 30 (1):45 - 52.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,010,467)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
Deciding active structural completeness.Michał M. Stronkowski - 2020 - Archive for Mathematical Logic 59 (1-2):149-165.

Add more citations

References found in this work

No references found.

Add more references