Matches in SemOpenAlex for { <https://semopenalex.org/work/W2728237002> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2728237002 endingPage "255" @default.
- W2728237002 startingPage "242" @default.
- W2728237002 abstract "In this paper we give a first definitive step towards endowing the general mechanism for combining logics known as fibring with a meaningful and useful semantics given by non-deterministic logical matrices (Nmatrices). We present and study the properties of two semantical operations: a unary operation of $$omega $$ -power of a given Nmatrix, and a binary operation of strict product of Nmatrices with disjoint similarity types (signatures). We show that, together, these operations can be used to characterize the disjoint fibring of propositional logics, when each of these logics is presented by a single Nmatrix. As an outcome, we also provide a decidability and complexity result about the resulting fibred logic. We illustrate the constructions with a few meaningful examples." @default.
- W2728237002 created "2017-07-14" @default.
- W2728237002 creator A5006730208 @default.
- W2728237002 creator A5083165777 @default.
- W2728237002 date "2017-01-01" @default.
- W2728237002 modified "2023-09-29" @default.
- W2728237002 title "Disjoint Fibring of Non-deterministic Matrices" @default.
- W2728237002 cites W2016625593 @default.
- W2728237002 cites W2022355674 @default.
- W2728237002 cites W2042927584 @default.
- W2728237002 cites W2050436847 @default.
- W2728237002 cites W2050796743 @default.
- W2728237002 cites W2060709836 @default.
- W2728237002 cites W2063391155 @default.
- W2728237002 cites W2073897909 @default.
- W2728237002 cites W2074213749 @default.
- W2728237002 cites W2081329681 @default.
- W2728237002 cites W2095704391 @default.
- W2728237002 cites W2116712528 @default.
- W2728237002 cites W2119157651 @default.
- W2728237002 cites W2144488831 @default.
- W2728237002 cites W2479565181 @default.
- W2728237002 cites W37116735 @default.
- W2728237002 cites W4254815858 @default.
- W2728237002 cites W4298032519 @default.
- W2728237002 cites W2092229471 @default.
- W2728237002 cites W2468126247 @default.
- W2728237002 doi "https://doi.org/10.1007/978-3-662-55386-2_17" @default.
- W2728237002 hasPublicationYear "2017" @default.
- W2728237002 type Work @default.
- W2728237002 sameAs 2728237002 @default.
- W2728237002 citedByCount "12" @default.
- W2728237002 countsByYear W27282370022018 @default.
- W2728237002 countsByYear W27282370022019 @default.
- W2728237002 countsByYear W27282370022021 @default.
- W2728237002 countsByYear W27282370022022 @default.
- W2728237002 countsByYear W27282370022023 @default.
- W2728237002 crossrefType "book-chapter" @default.
- W2728237002 hasAuthorship W2728237002A5006730208 @default.
- W2728237002 hasAuthorship W2728237002A5083165777 @default.
- W2728237002 hasConcept C11413529 @default.
- W2728237002 hasConcept C118615104 @default.
- W2728237002 hasConcept C153269930 @default.
- W2728237002 hasConcept C184337299 @default.
- W2728237002 hasConcept C195818886 @default.
- W2728237002 hasConcept C199360897 @default.
- W2728237002 hasConcept C33923547 @default.
- W2728237002 hasConcept C41008148 @default.
- W2728237002 hasConcept C45340560 @default.
- W2728237002 hasConcept C78023250 @default.
- W2728237002 hasConcept C80444323 @default.
- W2728237002 hasConceptScore W2728237002C11413529 @default.
- W2728237002 hasConceptScore W2728237002C118615104 @default.
- W2728237002 hasConceptScore W2728237002C153269930 @default.
- W2728237002 hasConceptScore W2728237002C184337299 @default.
- W2728237002 hasConceptScore W2728237002C195818886 @default.
- W2728237002 hasConceptScore W2728237002C199360897 @default.
- W2728237002 hasConceptScore W2728237002C33923547 @default.
- W2728237002 hasConceptScore W2728237002C41008148 @default.
- W2728237002 hasConceptScore W2728237002C45340560 @default.
- W2728237002 hasConceptScore W2728237002C78023250 @default.
- W2728237002 hasConceptScore W2728237002C80444323 @default.
- W2728237002 hasLocation W27282370021 @default.
- W2728237002 hasOpenAccess W2728237002 @default.
- W2728237002 hasPrimaryLocation W27282370021 @default.
- W2728237002 hasRelatedWork W1506703500 @default.
- W2728237002 hasRelatedWork W1545660605 @default.
- W2728237002 hasRelatedWork W1965531865 @default.
- W2728237002 hasRelatedWork W1965769371 @default.
- W2728237002 hasRelatedWork W2033265717 @default.
- W2728237002 hasRelatedWork W2044504249 @default.
- W2728237002 hasRelatedWork W2187310579 @default.
- W2728237002 hasRelatedWork W2728237002 @default.
- W2728237002 hasRelatedWork W2970698689 @default.
- W2728237002 hasRelatedWork W3213392216 @default.
- W2728237002 isParatext "false" @default.
- W2728237002 isRetracted "false" @default.
- W2728237002 magId "2728237002" @default.
- W2728237002 workType "book-chapter" @default.