Frame constructions, truth invariance and validity preservation in many-valued modal logic
| dc.contributor.author | Eleftheriou, Pantelis E. | |
| dc.contributor.author | Koutras, Costas D. | |
| dc.date.accessioned | 2020-05-12T16:07:22Z | |
| dc.date.available | 2020-05-12T16:07:22Z | |
| dc.date.issued | 2012-04-13 | eng |
| dc.description.abstract | In this paper we define and examine frame constructions for the family of manyvalued modal logics introduced by M. Fitting in the '90s. Every language of this family is built on an underlying space of truth values, a Heyting algebra H. We generalize Fitting's original work by considering complete Heyting algebras as truth spaces and proceed to define a suitable notion of H-indexed families of generated subframes, disjoint unions and bounded morphisms. Then, we provide an algebraic generalization of the canonical extension of a frame and model, and prove a preservation result inspired from Fitting's canonical model argument in [FIT 92a]. The analog of a complex algebra and of a principal ultrafilter is defined and the embedding of a frame into its canonical extension is presented. | eng |
| dc.description.version | published | eng |
| dc.identifier.doi | 10.3166/jancl.15.367-388 | eng |
| dc.identifier.uri | https://kops.uni-konstanz.de/handle/123456789/49484 | |
| dc.language.iso | eng | eng |
| dc.rights | terms-of-use | |
| dc.rights.uri | https://rightsstatements.org/page/InC/1.0/ | |
| dc.subject | many-valued modal logic, frame/model theory, canonical extensions | eng |
| dc.subject.ddc | 510 | eng |
| dc.title | Frame constructions, truth invariance and validity preservation in many-valued modal logic | eng |
| dc.type | JOURNAL_ARTICLE | eng |
| dspace.entity.type | Publication | |
| kops.citation.bibtex | @article{Eleftheriou2012-04-13Frame-49484,
year={2012},
doi={10.3166/jancl.15.367-388},
title={Frame constructions, truth invariance and validity preservation in many-valued modal logic},
number={4},
volume={15},
issn={1166-3081},
journal={Journal of Applied Non-Classical Logics},
pages={367--388},
author={Eleftheriou, Pantelis E. and Koutras, Costas D.}
} | |
| kops.citation.iso690 | ELEFTHERIOU, Pantelis E., Costas D. KOUTRAS, 2012. Frame constructions, truth invariance and validity preservation in many-valued modal logic. In: Journal of Applied Non-Classical Logics. Taylor & Francis. 2012, 15(4), pp. 367-388. ISSN 1166-3081. eISSN 1958-5780. Available under: doi: 10.3166/jancl.15.367-388 | deu |
| kops.citation.iso690 | ELEFTHERIOU, Pantelis E., Costas D. KOUTRAS, 2012. Frame constructions, truth invariance and validity preservation in many-valued modal logic. In: Journal of Applied Non-Classical Logics. Taylor & Francis. 2012, 15(4), pp. 367-388. ISSN 1166-3081. eISSN 1958-5780. Available under: doi: 10.3166/jancl.15.367-388 | eng |
| kops.citation.rdf | <rdf:RDF
xmlns:dcterms="http://purl.org/dc/terms/"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:bibo="http://purl.org/ontology/bibo/"
xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
xmlns:foaf="http://xmlns.com/foaf/0.1/"
xmlns:void="http://rdfs.org/ns/void#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#" >
<rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/49484">
<dc:language>eng</dc:language>
<dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2020-05-12T16:07:22Z</dcterms:available>
<dc:contributor>Koutras, Costas D.</dc:contributor>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
<bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/49484"/>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2020-05-12T16:07:22Z</dc:date>
<dcterms:title>Frame constructions, truth invariance and validity preservation in many-valued modal logic</dcterms:title>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
<dc:creator>Eleftheriou, Pantelis E.</dc:creator>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
<dc:contributor>Eleftheriou, Pantelis E.</dc:contributor>
<dc:rights>terms-of-use</dc:rights>
<dcterms:issued>2012-04-13</dcterms:issued>
<dc:creator>Koutras, Costas D.</dc:creator>
<dcterms:abstract xml:lang="eng">In this paper we define and examine frame constructions for the family of manyvalued modal logics introduced by M. Fitting in the '90s. Every language of this family is built on an underlying space of truth values, a Heyting algebra H. We generalize Fitting's original work by considering complete Heyting algebras as truth spaces and proceed to define a suitable notion of H-indexed families of generated subframes, disjoint unions and bounded morphisms. Then, we provide an algebraic generalization of the canonical extension of a frame and model, and prove a preservation result inspired from Fitting's canonical model argument in [FIT 92a]. The analog of a complex algebra and of a principal ultrafilter is defined and the embedding of a frame into its canonical extension is presented.</dcterms:abstract>
</rdf:Description>
</rdf:RDF> | |
| kops.flag.isPeerReviewed | true | eng |
| kops.flag.knbibliography | false | |
| kops.sourcefield | Journal of Applied Non-Classical Logics. Taylor & Francis. 2012, <b>15</b>(4), pp. 367-388. ISSN 1166-3081. eISSN 1958-5780. Available under: doi: 10.3166/jancl.15.367-388 | deu |
| kops.sourcefield.plain | Journal of Applied Non-Classical Logics. Taylor & Francis. 2012, 15(4), pp. 367-388. ISSN 1166-3081. eISSN 1958-5780. Available under: doi: 10.3166/jancl.15.367-388 | deu |
| kops.sourcefield.plain | Journal of Applied Non-Classical Logics. Taylor & Francis. 2012, 15(4), pp. 367-388. ISSN 1166-3081. eISSN 1958-5780. Available under: doi: 10.3166/jancl.15.367-388 | eng |
| relation.isAuthorOfPublication | d04c6dbf-1038-4ab8-9ffc-afb2bd48bae6 | |
| relation.isAuthorOfPublication.latestForDiscovery | d04c6dbf-1038-4ab8-9ffc-afb2bd48bae6 | |
| source.bibliographicInfo.fromPage | 367 | eng |
| source.bibliographicInfo.issue | 4 | eng |
| source.bibliographicInfo.toPage | 388 | eng |
| source.bibliographicInfo.volume | 15 | eng |
| source.identifier.eissn | 1958-5780 | eng |
| source.identifier.issn | 1166-3081 | eng |
| source.periodicalTitle | Journal of Applied Non-Classical Logics | eng |
| source.publisher | Taylor & Francis | eng |