Please use this identifier to cite or link to this item:
https://olympias.lib.uoi.gr/jspui/handle/123456789/10742
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Nomikos, C. | en |
dc.contributor.author | Koutras, C. D. | en |
dc.contributor.author | Peppas, P. | en |
dc.date.accessioned | 2015-11-24T17:00:18Z | - |
dc.date.available | 2015-11-24T17:00:18Z | - |
dc.identifier.uri | https://olympias.lib.uoi.gr/jspui/handle/123456789/10742 | - |
dc.rights | Default Licence | - |
dc.title | Canonicity and Completeness Results for Many Valued Modal Logics | en |
heal.type | journalArticle | - |
heal.type.en | Journal article | en |
heal.type.el | Άρθρο Περιοδικού | el |
heal.language | en | - |
heal.access | campus | - |
heal.recordProvider | Πανεπιστήμιο Ιωαννίνων. Σχολή Θετικών Επιστημών. Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής | el |
heal.publicationDate | 2002 | - |
heal.abstract | We prove frame determination results for the family of many-valued modal logics introduced by M. Fitting in the early '90s. Each modal language of this family is based on a Heyting algebra, which serves as the space of truth values, and is interpreted on an interesting version of possible-worlds semantics: the modal frames are directed graphs whose edges are labelled with an element of the under- lying Heyting algebra. We introduce interesting generalized forms of the classical axioms D, T, B, 4, and 5 and prove that they are canonical for certain algebraic frame properties, which generalize seriality, re°exivity, symmetry, transitivity and euclideanness. Our results are quite general as they hold for any modal language built on a complete Heyting algebra | en |
heal.journalName | Journal of Applied Non Classical Logics | en |
heal.journalType | peer reviewed | - |
heal.fullTextAvailability | TRUE | - |
Appears in Collections: | Άρθρα σε επιστημονικά περιοδικά ( Ανοικτά) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
nomikos-2002-Canonicity and Completeness Results for.pdf | 301.96 kB | Adobe PDF | View/Open Request a copy |
This item is licensed under a Creative Commons License