The finite model property for the variety of Heyting algebras with successor

Castiglioni, José Luis et al · Unión Matemática Argentina · 2012

Testo completo ad accesso aperto

Lettura rapida. Controlla i dati essenziali della risorsa e accedi al contenuto con il pulsante principale. La scheda mostra solo le informazioni necessarie per identificare, citare e aprire l’opera.

Autore / responsabile

Castiglioni, José Luis et al

Editore

Unión Matemática Argentina

Anno

2012

ISSN

0041-6932

ISSN

0041-6932

Lingua

Inglés

Accesso alla risorsa

Apri il contenuto dall’opzione principale o scegli un’altra fonte disponibile.

CONICET Digital CONICET Digital OAI-PMH

Entrar por CONICET Digital

Accesso principale

Testo completo ad accesso aperto

Texto completo identificado como acceso abierto.

Apri testo

Riepilogo

Descripción general del contenido del recurso.

The finite model property of the variety of S-algebras was proved by X. Caicedo using Kripke model techniques of the associated calculus. A more algebraic proof, but still strongly based on Kripke model ideas, was given by Muravitskii. In this article we give a purely algebraic proof for the finite model property which is strongly based on the fact that for every element x in a S-algebra the interval [x, S(x)] is a Boolean lattice. Fil: Castiglioni, José Luis. Universidad Nacional de la Plata. Facultad de Ciencias Exactas. Departamento de Matematicas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina Fil: San Martin, Hernan Javier. Universidad Nacional de la Plata. Facultad de Ciencias Exactas. Departamento de Matematicas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina

Come citare

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Castiglioni, J. L. E. A. (2012). The finite model property for the variety of Heyting algebras with successor. http://hdl.handle.net/11336/9200

MLA

Castiglioni, José Luis et al. "The finite model property for the variety of Heyting algebras with successor." 2012. http://hdl.handle.net/11336/9200.

Chicago

Castiglioni, José Luis et al. 2012. "The finite model property for the variety of Heyting algebras with successor.". http://hdl.handle.net/11336/9200.

Harvard

Castiglioni, J. L. E. A. 2012, The finite model property for the variety of Heyting algebras with successor, Unión Matemática Argentina, available at: http://hdl.handle.net/11336/9200 [Accessed 8 Aug. 2026].

Condividi e stampa

Salva la scheda, copia il link permanente o stampala in PDF.

Esporta riferimento

Esporta il record nei formati più comuni per usarlo con un gestore bibliografico.

RIS BibTeX

Dettagli della risorsa

Informazioni bibliografiche utili per verificare che sia il materiale corretto.

Titolo: The finite model property for the variety of Heyting algebras with successor

Autore / collaboratori: Castiglioni, José Luis et al

Editore: Unión Matemática Argentina

Anno di pubblicazione: 2012

ISSN: 0041-6932

ISSN: 0041-6932

Lingua: Inglés

Soggetti

Esplora risorse correlate a partire da questi soggetti.

SUCCESSOR OPERATOR; FINITE MODEL PROPERTY; HEYTING ALGEBRAS; https://purl.org/becyt/ford/1.1; https://purl.org/becyt/ford/1