This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n8http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n3http://purl.org/net/nknouf/ns/bibtex#
n18http://linked.opendata.cz/resource/domain/vavai/projekt/
n13http://linked.opendata.cz/ontology/domain/vavai/
n17https://schema.org/
shttp://schema.org/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n10http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F14%3A00439788%21RIV15-GA0-67985807/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985807%3A_____%2F14%3A00439788%21RIV15-GA0-67985807
rdf:type
skos:Concept n13:Vysledek
dcterms:description
In this paper, on one hand, we address topology on polarities via general polarity frames by analogy of the relationship between topology on sets and general Kripke frames. Based on the topology on polarities, we provide the topological characterisation of descriptive polarity frames. On the other hand, we introduce disjoint unions and amalgamations of polarity frames with additional relations and constants. As applications of these constructions, we establish the Goldblatt-Thomason's theorem for (distributive) substructural logic and the amalgamation property for some lattice- based algebras. In this paper, on one hand, we address topology on polarities via general polarity frames by analogy of the relationship between topology on sets and general Kripke frames. Based on the topology on polarities, we provide the topological characterisation of descriptive polarity frames. On the other hand, we introduce disjoint unions and amalgamations of polarity frames with additional relations and constants. As applications of these constructions, we establish the Goldblatt-Thomason's theorem for (distributive) substructural logic and the amalgamation property for some lattice- based algebras.
dcterms:title
On Polarity Frames: Applications to Substructural and Lattice-Based Logics On Polarity Frames: Applications to Substructural and Lattice-Based Logics
skos:prefLabel
On Polarity Frames: Applications to Substructural and Lattice-Based Logics On Polarity Frames: Applications to Substructural and Lattice-Based Logics
skos:notation
RIV/67985807:_____/14:00439788!RIV15-GA0-67985807
n5:aktivita
n15:I n15:P
n5:aktivity
I, P(GAP202/10/1826)
n5:dodaniDat
n9:2015
n5:domaciTvurceVysledku
Suzuki, Tomoyuki
n5:druhVysledku
n14:D
n5:duvernostUdaju
n19:S
n5:entitaPredkladatele
n10:predkladatel
n5:idSjednocenehoVysledku
34346
n5:idVysledku
RIV/67985807:_____/14:00439788
n5:jazykVysledku
n11:eng
n5:klicovaSlova
relational semantics; substructural and lattice-based logics; lattice expansions; topological characterisation; Goldblatt-Thomason's theorem; amalgamation property
n5:klicoveSlovo
n6:relational%20semantics n6:lattice%20expansions n6:substructural%20and%20lattice-based%20logics n6:Goldblatt-Thomason%27s%20theorem n6:amalgamation%20property n6:topological%20characterisation
n5:kontrolniKodProRIV
[A53BEFB2C9E7]
n5:mistoKonaniAkce
Groningen
n5:mistoVydani
London
n5:nazevZdroje
Advances in Modal Logic
n5:obor
n16:BA
n5:pocetDomacichTvurcuVysledku
1
n5:pocetTvurcuVysledku
1
n5:projekt
n18:GAP202%2F10%2F1826
n5:rokUplatneniVysledku
n9:2014
n5:tvurceVysledku
Suzuki, Tomoyuki
n5:typAkce
n8:WRD
n5:zahajeniAkce
2014-08-05+02:00
s:numberOfPages
20
n3:hasPublisher
College Publications
n17:isbn
978-1-84890-151-3