Matches in SemOpenAlex for { <https://semopenalex.org/work/W2316362085> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2316362085 endingPage "20" @default.
- W2316362085 startingPage "5" @default.
- W2316362085 abstract "Lukasiewicz 3-valued logic may be seen as a logic with hidden truth- functional modalities dened by A := :A ! A and A := :(A ! :A). It is known that axioms (K), (T), (B), (D), (S4), (S5) are provable for these modalities, and rule (RN) is admissible. We show that, if analogously dened modalities are adopted in Lukasiewicz 4-valued logic, then (K), (T), (D), (B) are provable, and (RN) is admissible. In addition, we show that in the canonicaln-valued Lukasiewicz- Moisil algebras Ln, identities corresponding to (K), (T), and (D) hold for all n 3 and 1 = 1. We dene analogous operations in residuated lattices and show that residuated lattices determine modal systems in which axioms (K) and (D) are provable and 1 = 1 holds. Involutive residuated lattices satisfy also the identity corresponding to (T). We also show that involutive residuated lattices do not satisfy identities corresponding to (S4) nor (S5). Finally, we show that in Heyting algebras, and thus in intuitionistic logic, and are equal, and they correspond to the double negation::." @default.
- W2316362085 created "2016-06-24" @default.
- W2316362085 creator A5022184231 @default.
- W2316362085 creator A5063053756 @default.
- W2316362085 creator A5087739641 @default.
- W2316362085 creator A5091139212 @default.
- W2316362085 date "2013-06-20" @default.
- W2316362085 modified "2023-10-13" @default.
- W2316362085 title "Hidden modalities in algebras with negation and implication" @default.
- W2316362085 cites W108138286 @default.
- W2316362085 cites W1519478560 @default.
- W2316362085 cites W1555263082 @default.
- W2316362085 cites W1578133078 @default.
- W2316362085 cites W1997704656 @default.
- W2316362085 cites W2009558737 @default.
- W2316362085 cites W2021785667 @default.
- W2316362085 cites W2089512798 @default.
- W2316362085 cites W2110182592 @default.
- W2316362085 cites W2138141991 @default.
- W2316362085 cites W2154214277 @default.
- W2316362085 cites W2164429865 @default.
- W2316362085 cites W2506886658 @default.
- W2316362085 cites W3100474991 @default.
- W2316362085 cites W642576935 @default.
- W2316362085 doi "https://doi.org/10.13164/ma.2013.02" @default.
- W2316362085 hasPublicationYear "2013" @default.
- W2316362085 type Work @default.
- W2316362085 sameAs 2316362085 @default.
- W2316362085 citedByCount "0" @default.
- W2316362085 crossrefType "journal-article" @default.
- W2316362085 hasAuthorship W2316362085A5022184231 @default.
- W2316362085 hasAuthorship W2316362085A5063053756 @default.
- W2316362085 hasAuthorship W2316362085A5087739641 @default.
- W2316362085 hasAuthorship W2316362085A5091139212 @default.
- W2316362085 hasBestOaLocation W23163620851 @default.
- W2316362085 hasConcept C138885662 @default.
- W2316362085 hasConcept C144024400 @default.
- W2316362085 hasConcept C15744967 @default.
- W2316362085 hasConcept C2185349 @default.
- W2316362085 hasConcept C2779903281 @default.
- W2316362085 hasConcept C36289849 @default.
- W2316362085 hasConcept C41895202 @default.
- W2316362085 hasConcept C71924100 @default.
- W2316362085 hasConceptScore W2316362085C138885662 @default.
- W2316362085 hasConceptScore W2316362085C144024400 @default.
- W2316362085 hasConceptScore W2316362085C15744967 @default.
- W2316362085 hasConceptScore W2316362085C2185349 @default.
- W2316362085 hasConceptScore W2316362085C2779903281 @default.
- W2316362085 hasConceptScore W2316362085C36289849 @default.
- W2316362085 hasConceptScore W2316362085C41895202 @default.
- W2316362085 hasConceptScore W2316362085C71924100 @default.
- W2316362085 hasIssue "1" @default.
- W2316362085 hasLocation W23163620851 @default.
- W2316362085 hasLocation W23163620852 @default.
- W2316362085 hasOpenAccess W2316362085 @default.
- W2316362085 hasPrimaryLocation W23163620851 @default.
- W2316362085 hasRelatedWork W2131148043 @default.
- W2316362085 hasRelatedWork W2411863452 @default.
- W2316362085 hasRelatedWork W2532114606 @default.
- W2316362085 hasRelatedWork W2748952813 @default.
- W2316362085 hasRelatedWork W2899084033 @default.
- W2316362085 hasRelatedWork W2901414575 @default.
- W2316362085 hasRelatedWork W3008558404 @default.
- W2316362085 hasRelatedWork W4242453089 @default.
- W2316362085 hasRelatedWork W4308566785 @default.
- W2316362085 hasRelatedWork W2376527026 @default.
- W2316362085 hasVolume "2" @default.
- W2316362085 isParatext "false" @default.
- W2316362085 isRetracted "false" @default.
- W2316362085 magId "2316362085" @default.
- W2316362085 workType "article" @default.