Matches in SemOpenAlex for { <https://semopenalex.org/work/W4376123039> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4376123039 abstract "Bochvar algebras consist of the quasivariety BCA playing the role of equivalent algebraic semantics for Bochvar (external) logic, a logical formalism introduced by Bochvar in the realm of (weak) Kleene logics. In this paper, we provide an algebraic investigation of the structure of Bochvar algebras. In particular, we prove a representation theorem based on Plonka sums and investigate the lattice of subquasivarieties, showing that Bochvar (external) logic has only one proper extension (apart from classical logic), algebraized by the subquasivariety NBCA of BCA. Finally, we prove that both BCA and NBCA enjoy the Amalgamation Property (AP)." @default.
- W4376123039 created "2023-05-12" @default.
- W4376123039 creator A5004124441 @default.
- W4376123039 creator A5063542724 @default.
- W4376123039 date "2023-05-09" @default.
- W4376123039 modified "2023-10-14" @default.
- W4376123039 title "On the structure of Bochvar algebras" @default.
- W4376123039 doi "https://doi.org/10.48550/arxiv.2305.05457" @default.
- W4376123039 hasPublicationYear "2023" @default.
- W4376123039 type Work @default.
- W4376123039 citedByCount "0" @default.
- W4376123039 crossrefType "posted-content" @default.
- W4376123039 hasAuthorship W4376123039A5004124441 @default.
- W4376123039 hasAuthorship W4376123039A5063542724 @default.
- W4376123039 hasBestOaLocation W43761230391 @default.
- W4376123039 hasConcept C118615104 @default.
- W4376123039 hasConcept C121332964 @default.
- W4376123039 hasConcept C134306372 @default.
- W4376123039 hasConcept C136119220 @default.
- W4376123039 hasConcept C142362112 @default.
- W4376123039 hasConcept C153349607 @default.
- W4376123039 hasConcept C17744445 @default.
- W4376123039 hasConcept C182419690 @default.
- W4376123039 hasConcept C199360897 @default.
- W4376123039 hasConcept C199539241 @default.
- W4376123039 hasConcept C202444582 @default.
- W4376123039 hasConcept C24890656 @default.
- W4376123039 hasConcept C2776230367 @default.
- W4376123039 hasConcept C2776359362 @default.
- W4376123039 hasConcept C2778029271 @default.
- W4376123039 hasConcept C2779729104 @default.
- W4376123039 hasConcept C2781204021 @default.
- W4376123039 hasConcept C33923547 @default.
- W4376123039 hasConcept C41008148 @default.
- W4376123039 hasConcept C558565934 @default.
- W4376123039 hasConcept C73301696 @default.
- W4376123039 hasConcept C9376300 @default.
- W4376123039 hasConcept C94625758 @default.
- W4376123039 hasConceptScore W4376123039C118615104 @default.
- W4376123039 hasConceptScore W4376123039C121332964 @default.
- W4376123039 hasConceptScore W4376123039C134306372 @default.
- W4376123039 hasConceptScore W4376123039C136119220 @default.
- W4376123039 hasConceptScore W4376123039C142362112 @default.
- W4376123039 hasConceptScore W4376123039C153349607 @default.
- W4376123039 hasConceptScore W4376123039C17744445 @default.
- W4376123039 hasConceptScore W4376123039C182419690 @default.
- W4376123039 hasConceptScore W4376123039C199360897 @default.
- W4376123039 hasConceptScore W4376123039C199539241 @default.
- W4376123039 hasConceptScore W4376123039C202444582 @default.
- W4376123039 hasConceptScore W4376123039C24890656 @default.
- W4376123039 hasConceptScore W4376123039C2776230367 @default.
- W4376123039 hasConceptScore W4376123039C2776359362 @default.
- W4376123039 hasConceptScore W4376123039C2778029271 @default.
- W4376123039 hasConceptScore W4376123039C2779729104 @default.
- W4376123039 hasConceptScore W4376123039C2781204021 @default.
- W4376123039 hasConceptScore W4376123039C33923547 @default.
- W4376123039 hasConceptScore W4376123039C41008148 @default.
- W4376123039 hasConceptScore W4376123039C558565934 @default.
- W4376123039 hasConceptScore W4376123039C73301696 @default.
- W4376123039 hasConceptScore W4376123039C9376300 @default.
- W4376123039 hasConceptScore W4376123039C94625758 @default.
- W4376123039 hasLocation W43761230391 @default.
- W4376123039 hasOpenAccess W4376123039 @default.
- W4376123039 hasPrimaryLocation W43761230391 @default.
- W4376123039 hasRelatedWork W1499763399 @default.
- W4376123039 hasRelatedWork W2038106543 @default.
- W4376123039 hasRelatedWork W2156697727 @default.
- W4376123039 hasRelatedWork W2158645050 @default.
- W4376123039 hasRelatedWork W3049641539 @default.
- W4376123039 hasRelatedWork W3135717796 @default.
- W4376123039 hasRelatedWork W3165748907 @default.
- W4376123039 hasRelatedWork W3203278530 @default.
- W4376123039 hasRelatedWork W38383632 @default.
- W4376123039 hasRelatedWork W1530595355 @default.
- W4376123039 isParatext "false" @default.
- W4376123039 isRetracted "false" @default.
- W4376123039 workType "article" @default.