A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Logic journal of the IGPL 2018-08, Vol.26 (4), p.408-428
Hauptverfasser: Cornejo, Juan Manuel, San Martín, Hernán Javier
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:1367-0751
1368-9894
DOI:10.1093/jigpal/jzy006