About: On Polarity Frames: Applications to Substructural and Lattice-Based Logics     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
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. (en)
Title
  • On Polarity Frames: Applications to Substructural and Lattice-Based Logics
  • On Polarity Frames: Applications to Substructural and Lattice-Based Logics (en)
skos:prefLabel
  • On Polarity Frames: Applications to Substructural and Lattice-Based Logics
  • On Polarity Frames: Applications to Substructural and Lattice-Based Logics (en)
skos:notation
  • RIV/67985807:_____/14:00439788!RIV15-GA0-67985807
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • I, P(GAP202/10/1826)
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
  • Suzuki, Tomoyuki
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 34346
http://linked.open...ai/riv/idVysledku
  • RIV/67985807:_____/14:00439788
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • relational semantics; substructural and lattice-based logics; lattice expansions; topological characterisation; Goldblatt-Thomason's theorem; amalgamation property (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [A53BEFB2C9E7]
http://linked.open...v/mistoKonaniAkce
  • Groningen
http://linked.open...i/riv/mistoVydani
  • London
http://linked.open...i/riv/nazevZdroje
  • Advances in Modal Logic
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...vavai/riv/projekt
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Suzuki, Tomoyuki
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • College Publications
https://schema.org/isbn
  • 978-1-84890-151-3
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software