SHn-algebras (Symmetric Heyting algebras of order n)

Iturrioz, Luisa; Sofronie-Stokkermans, Viorica

Local TagsRelease HistoryDetailsSummary

SHn-algebras (Symmetric Heyting algebras of order n)

Iturrioz, L., & Sofronie-Stokkermans, V. (2000). SHn-algebras (Symmetric Heyting algebras of order n). In L. Iturrioz, E. Orlowska, & E. Turunen (Eds.), COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures (pp. 1-11). Tampere: Tampere University of Technology (Mathematics).

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3467-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3468-A

Genre: Book Chapter

Files

show Files

Locators

show

Creators

show

hide

Creators:
Iturrioz, Luisa, Author
Sofronie-Stokkermans, Viorica^{1, 2}, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 2000

Publication Status: Issued

Pages: -

Publishing info: Tampere : Tampere University of Technology (Mathematics)

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519881
Other: Local-ID: C1256104005ECAFC-8EA92C0FDF3204F5C12569DA005C93FA-Sofronie-Stokkermans2000-atlas-1

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures

Source Genre: Book

Creator(s):
Iturrioz, Luisa, Editor
Orlowska, Ewa, Editor
Turunen, Esko, Editor

Affiliations:
-

Publ. Info: Tampere : Tampere University of Technology (Mathematics)

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 1 - 11 Identifier: ISBN: 952-150-386-6

Source 2

show

hide

Title: Department of Information Technology. Mathematics Report

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -