Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005586845> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2005586845 endingPage "187" @default.
- W2005586845 startingPage "167" @default.
- W2005586845 abstract "We start from the geometrical-logical extension of Aristotle’s square in [6,15] and [14], and study them from both syntactic and semantic points of view. Recall that Aristotle’s square under its modal form has the following four vertices: A is □α, E is $$squarenegalpha$$ , I is $$negsquarenegalpha$$ and O is $$squarenegalpha$$ , where α is a logical formula and □ is a modality which can be defined axiomatically within a particular logic known as S5 (classical or intuitionistic, depending on whether $$neg$$ is involutive or not) modal logic. [3] has proposed extensions which can be interpreted respectively within paraconsistent and paracomplete logical frameworks. [15] has shown that these extensions are subfigures of a tetraicosahedron whose vertices are actually obtained by closure of $${alpha,squarealpha}$$ by the logical operations $${neg,wedge,vee}$$ , under the assumption of classical S5 modal logic. We pursue these researches on the geometrical-logical extensions of Aristotle’s square: first we list all modal squares of opposition. We show that if the vertices of that geometrical figure are logical formulae and if the sub-alternation edges are interpreted as logical implication relations, then the underlying logic is none other than classical logic. Then we consider a higher-order extension introduced by [14], and we show that the same tetraicosahedron plays a key role when additional modal operators are introduced. Finally we discuss the relation between the logic underlying these extensions and the resulting geometrical-logical figures." @default.
- W2005586845 created "2016-06-24" @default.
- W2005586845 creator A5008639536 @default.
- W2005586845 creator A5009012357 @default.
- W2005586845 creator A5084579453 @default.
- W2005586845 date "2008-03-01" @default.
- W2005586845 modified "2023-10-03" @default.
- W2005586845 title "Logical Extensions of Aristotle’s Square" @default.
- W2005586845 cites W1498138768 @default.
- W2005586845 cites W1498746581 @default.
- W2005586845 cites W1578133078 @default.
- W2005586845 cites W1598147266 @default.
- W2005586845 cites W2001457416 @default.
- W2005586845 cites W2038216920 @default.
- W2005586845 cites W2077513906 @default.
- W2005586845 cites W2140004352 @default.
- W2005586845 cites W2162712642 @default.
- W2005586845 cites W2750030610 @default.
- W2005586845 cites W976137361 @default.
- W2005586845 doi "https://doi.org/10.1007/s11787-007-0022-y" @default.
- W2005586845 hasPublicationYear "2008" @default.
- W2005586845 type Work @default.
- W2005586845 sameAs 2005586845 @default.
- W2005586845 citedByCount "30" @default.
- W2005586845 countsByYear W20055868452012 @default.
- W2005586845 countsByYear W20055868452013 @default.
- W2005586845 countsByYear W20055868452014 @default.
- W2005586845 countsByYear W20055868452016 @default.
- W2005586845 countsByYear W20055868452017 @default.
- W2005586845 countsByYear W20055868452018 @default.
- W2005586845 countsByYear W20055868452020 @default.
- W2005586845 countsByYear W20055868452021 @default.
- W2005586845 countsByYear W20055868452022 @default.
- W2005586845 countsByYear W20055868452023 @default.
- W2005586845 crossrefType "journal-article" @default.
- W2005586845 hasAuthorship W2005586845A5008639536 @default.
- W2005586845 hasAuthorship W2005586845A5009012357 @default.
- W2005586845 hasAuthorship W2005586845A5084579453 @default.
- W2005586845 hasBestOaLocation W20055868452 @default.
- W2005586845 hasConcept C11413529 @default.
- W2005586845 hasConcept C118615104 @default.
- W2005586845 hasConcept C134752490 @default.
- W2005586845 hasConcept C135692309 @default.
- W2005586845 hasConcept C146834321 @default.
- W2005586845 hasConcept C154945302 @default.
- W2005586845 hasConcept C162324750 @default.
- W2005586845 hasConcept C185592680 @default.
- W2005586845 hasConcept C188027245 @default.
- W2005586845 hasConcept C199360897 @default.
- W2005586845 hasConcept C2524010 @default.
- W2005586845 hasConcept C27508121 @default.
- W2005586845 hasConcept C2778029271 @default.
- W2005586845 hasConcept C33923547 @default.
- W2005586845 hasConcept C34447519 @default.
- W2005586845 hasConcept C41008148 @default.
- W2005586845 hasConcept C56949724 @default.
- W2005586845 hasConcept C71139939 @default.
- W2005586845 hasConcept C74992188 @default.
- W2005586845 hasConceptScore W2005586845C11413529 @default.
- W2005586845 hasConceptScore W2005586845C118615104 @default.
- W2005586845 hasConceptScore W2005586845C134752490 @default.
- W2005586845 hasConceptScore W2005586845C135692309 @default.
- W2005586845 hasConceptScore W2005586845C146834321 @default.
- W2005586845 hasConceptScore W2005586845C154945302 @default.
- W2005586845 hasConceptScore W2005586845C162324750 @default.
- W2005586845 hasConceptScore W2005586845C185592680 @default.
- W2005586845 hasConceptScore W2005586845C188027245 @default.
- W2005586845 hasConceptScore W2005586845C199360897 @default.
- W2005586845 hasConceptScore W2005586845C2524010 @default.
- W2005586845 hasConceptScore W2005586845C27508121 @default.
- W2005586845 hasConceptScore W2005586845C2778029271 @default.
- W2005586845 hasConceptScore W2005586845C33923547 @default.
- W2005586845 hasConceptScore W2005586845C34447519 @default.
- W2005586845 hasConceptScore W2005586845C41008148 @default.
- W2005586845 hasConceptScore W2005586845C56949724 @default.
- W2005586845 hasConceptScore W2005586845C71139939 @default.
- W2005586845 hasConceptScore W2005586845C74992188 @default.
- W2005586845 hasIssue "1" @default.
- W2005586845 hasLocation W20055868451 @default.
- W2005586845 hasLocation W20055868452 @default.
- W2005586845 hasLocation W20055868453 @default.
- W2005586845 hasOpenAccess W2005586845 @default.
- W2005586845 hasPrimaryLocation W20055868451 @default.
- W2005586845 hasRelatedWork W129859502 @default.
- W2005586845 hasRelatedWork W2081247553 @default.
- W2005586845 hasRelatedWork W2101000186 @default.
- W2005586845 hasRelatedWork W2382192486 @default.
- W2005586845 hasRelatedWork W4200472121 @default.
- W2005586845 hasRelatedWork W4214732606 @default.
- W2005586845 hasRelatedWork W4366544912 @default.
- W2005586845 hasRelatedWork W4387120535 @default.
- W2005586845 hasRelatedWork W651271705 @default.
- W2005586845 hasRelatedWork W2189621582 @default.
- W2005586845 hasVolume "2" @default.
- W2005586845 isParatext "false" @default.
- W2005586845 isRetracted "false" @default.
- W2005586845 magId "2005586845" @default.
- W2005586845 workType "article" @default.