P1 algebras

, &
Studia Logica 53 (1):21 - 28 (1994)
  Copy   BIBTEX

Abstract

In [3] the authors proved that the deductive systemP1 introduced by Sette in [6] is algebraizable. In this paper we study the main features of the class of algebras thus obtained. The main results are a complete description of the free algebras inn generators and that this is not a congruence modular quasi-variety.

Categories

Keywords

Reprint years

DOI

10.1007/bf01053020

Other Versions

No versions found

Links

PhilArchive

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

On free annotated algebras.Renato Lewin, Irene Mikenberg & María Schwarze - 2001 - Annals of Pure and Applied Logic 108 (1-3):249-259.
Algebraic study of Sette's maximal paraconsistent logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.
Fragments of Quasi-Nelson: The Algebraizable Core.Umberto Rivieccio - 2022 - Logic Journal of the IGPL 30 (5):807-839.
On Certain Quasivarieties of Quasi-MV Algebras.A. Ledda, T. Kowalski & F. Paoli - 2011 - Studia Logica 98 (1-2):149-174.
Definability of directly indecomposable congruence modular algebras.Diego Vaggione - 1996 - Studia Logica 57 (2-3):239 - 241.
A Note on Neat Reducts.Tarek Sayed Ahmed - 2007 - Studia Logica 85 (2):139-151.
Symmetrical Heyting algebras with a finite order type of operators.Luisa Iturrioz - 1995 - Studia Logica 55 (1):89 - 98.
A Note on 3×3-valued Łukasiewicz Algebras with Negation.Carlos Gallardo & Alicia Ziliani - 2021 - Bulletin of the Section of Logic 50 (3):289-298.
On the lattice of quasivarieties of Sugihara algebras.W. J. Blok & W. Dziobiak - 1986 - Studia Logica 45 (3):275-280.
An algebraic study of well-foundedness.Robert Goldblatt - 1985 - Studia Logica 44 (4):423 - 437.

Analytics

Added to PP
2009-01-28

Downloads
139 (#315,039)

6 months
18 (#609,421)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Twist-structures semantics for the logics of the hierarchy InPk.Fernando M. Ramos & Víctor L. Fernández - 2009 - Journal of Applied Non-Classical Logics 19 (2):183-209.

Add more citations

References found in this work

On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife: Universidade Federal de Pernambuco, Instituto de Matemática.
On the theory of inconsistent formal systems.Newton da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
Every quotient algebra for $C_1$ is trivial.Chris Mortensen - 1980 - Notre Dame Journal of Formal Logic 21 (4):694-700.
$\alpha$-models and the systems $T$ and $T^\ast$.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (3):443-454.
${\rm C}_1$ is not algebraizable.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 1991 - Notre Dame Journal of Formal Logic 32 (4):609-611.

Add more references