Attributes | Values |
---|
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
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
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
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| |
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
| |
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |