Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387356166> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4387356166 abstract "This work presents the deductive system Double Propositional Logic, LD, along with the semantics of possible worlds that characterize it. LD includes an alternate affirmation operator and an alternate negation operator and is not valid for the principle of the excluded third when one of the disjunctions is one of the alternate operators. The LD system includes as theorems, the theorems of the Classic Propositional Logic LC. In LD, the intuitionist connec-tives are recovered from the classics and the alternates, which implies that, the LD system includes as theorems, the theorems of the Propositional Intuitionist Logic LI. It is rigorously and detailed to prove that theorems of con-sistency, validity and completeness. It illustrates LD's ability to fix a version of the liar's paradox, where LC and LI fail. Finally, the location of the LD system is precisely determined in relation to the systems that made it possi-ble to intuit the structure of LD, such as, Basic Logic for the Aristotelian Truth LBVA, the Logic of Tautologies LT and the Basic Logic for Truth and Falsehood LBVF. LD is characterized by Gamma-LD Existential Graphs, in the style of Peirce, so the semantics of possible worlds presented in this work also characterizes Gamma-LD." @default.
- W4387356166 created "2023-10-05" @default.
- W4387356166 creator A5013445163 @default.
- W4387356166 date "2023-10-03" @default.
- W4387356166 modified "2023-10-15" @default.
- W4387356166 title "Caracterizaci'on sem'antico-deductiva de la l'ogica doble LD y los gr'aficos existenciales Gamma-LD" @default.
- W4387356166 doi "https://doi.org/10.48550/arxiv.2310.02035" @default.
- W4387356166 hasPublicationYear "2023" @default.
- W4387356166 type Work @default.
- W4387356166 citedByCount "0" @default.
- W4387356166 crossrefType "posted-content" @default.
- W4387356166 hasAuthorship W4387356166A5013445163 @default.
- W4387356166 hasBestOaLocation W43873561661 @default.
- W4387356166 hasConcept C102993220 @default.
- W4387356166 hasConcept C111472728 @default.
- W4387356166 hasConcept C118615104 @default.
- W4387356166 hasConcept C136119220 @default.
- W4387356166 hasConcept C138885662 @default.
- W4387356166 hasConcept C153107464 @default.
- W4387356166 hasConcept C154945302 @default.
- W4387356166 hasConcept C178421362 @default.
- W4387356166 hasConcept C199343813 @default.
- W4387356166 hasConcept C202444582 @default.
- W4387356166 hasConcept C203659156 @default.
- W4387356166 hasConcept C2185349 @default.
- W4387356166 hasConcept C2777686260 @default.
- W4387356166 hasConcept C33923547 @default.
- W4387356166 hasConcept C3845977 @default.
- W4387356166 hasConcept C41008148 @default.
- W4387356166 hasConcept C41895202 @default.
- W4387356166 hasConcept C69562738 @default.
- W4387356166 hasConcept C71924100 @default.
- W4387356166 hasConceptScore W4387356166C102993220 @default.
- W4387356166 hasConceptScore W4387356166C111472728 @default.
- W4387356166 hasConceptScore W4387356166C118615104 @default.
- W4387356166 hasConceptScore W4387356166C136119220 @default.
- W4387356166 hasConceptScore W4387356166C138885662 @default.
- W4387356166 hasConceptScore W4387356166C153107464 @default.
- W4387356166 hasConceptScore W4387356166C154945302 @default.
- W4387356166 hasConceptScore W4387356166C178421362 @default.
- W4387356166 hasConceptScore W4387356166C199343813 @default.
- W4387356166 hasConceptScore W4387356166C202444582 @default.
- W4387356166 hasConceptScore W4387356166C203659156 @default.
- W4387356166 hasConceptScore W4387356166C2185349 @default.
- W4387356166 hasConceptScore W4387356166C2777686260 @default.
- W4387356166 hasConceptScore W4387356166C33923547 @default.
- W4387356166 hasConceptScore W4387356166C3845977 @default.
- W4387356166 hasConceptScore W4387356166C41008148 @default.
- W4387356166 hasConceptScore W4387356166C41895202 @default.
- W4387356166 hasConceptScore W4387356166C69562738 @default.
- W4387356166 hasConceptScore W4387356166C71924100 @default.
- W4387356166 hasLocation W43873561661 @default.
- W4387356166 hasOpenAccess W4387356166 @default.
- W4387356166 hasPrimaryLocation W43873561661 @default.
- W4387356166 hasRelatedWork W1715734410 @default.
- W4387356166 hasRelatedWork W1986625420 @default.
- W4387356166 hasRelatedWork W2362211319 @default.
- W4387356166 hasRelatedWork W2383907964 @default.
- W4387356166 hasRelatedWork W2898764506 @default.
- W4387356166 hasRelatedWork W2902486506 @default.
- W4387356166 hasRelatedWork W3200682096 @default.
- W4387356166 hasRelatedWork W4200319172 @default.
- W4387356166 hasRelatedWork W4239562239 @default.
- W4387356166 hasRelatedWork W4320028434 @default.
- W4387356166 isParatext "false" @default.
- W4387356166 isRetracted "false" @default.
- W4387356166 workType "article" @default.