Matches in SemOpenAlex for { <https://semopenalex.org/work/W2020792477> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2020792477 abstract "Formal aspects of various ways of description of Jan Łukasiewicz’s four-valued modal logic £ are discussed. The original Łukasiewicz’s description by means of the accepted and rejected theorems, together with the four-valued matrix, is presented. Then the improved E.J. Lemmon’s description based upon three specific axioms, together with the relational semantics, is presented as well. It is proved that Lemmon’s axiomatic is not independent: one axiom is derivable on the base of the remanent two. Several axiomatizations, based on three, two or one single axiom are provided and discussed, including S. Kripke’s axiomatics. It is claimed that (a) all substitutions of classical theorems, (b) the rule of modus ponens, (c) the definition of “◊” and (d) the single specific axiom schema: ⬜A ∧ B → A ∧ ⬜B, called the jumping necessity axiom, constitute an elegant axiomatics of the system £." @default.
- W2020792477 created "2016-06-24" @default.
- W2020792477 creator A5021193662 @default.
- W2020792477 date "2013-06-15" @default.
- W2020792477 modified "2023-09-27" @default.
- W2020792477 title "On axiomatization of Łukasiewicz's four-valued modal logic" @default.
- W2020792477 cites W1542734653 @default.
- W2020792477 cites W2015536417 @default.
- W2020792477 cites W2143620943 @default.
- W2020792477 cites W2619231721 @default.
- W2020792477 doi "https://doi.org/10.12775/llp.2011.012" @default.
- W2020792477 hasPublicationYear "2013" @default.
- W2020792477 type Work @default.
- W2020792477 sameAs 2020792477 @default.
- W2020792477 citedByCount "2" @default.
- W2020792477 countsByYear W20207924772016 @default.
- W2020792477 countsByYear W20207924772022 @default.
- W2020792477 crossrefType "journal-article" @default.
- W2020792477 hasAuthorship W2020792477A5021193662 @default.
- W2020792477 hasBestOaLocation W20207924771 @default.
- W2020792477 hasConcept C102993220 @default.
- W2020792477 hasConcept C11191006 @default.
- W2020792477 hasConcept C114092440 @default.
- W2020792477 hasConcept C136119220 @default.
- W2020792477 hasConcept C144760519 @default.
- W2020792477 hasConcept C154945302 @default.
- W2020792477 hasConcept C188027245 @default.
- W2020792477 hasConcept C192562407 @default.
- W2020792477 hasConcept C199343813 @default.
- W2020792477 hasConcept C202444582 @default.
- W2020792477 hasConcept C203659156 @default.
- W2020792477 hasConcept C206321295 @default.
- W2020792477 hasConcept C27508121 @default.
- W2020792477 hasConcept C2777686260 @default.
- W2020792477 hasConcept C33923547 @default.
- W2020792477 hasConcept C41008148 @default.
- W2020792477 hasConcept C71139939 @default.
- W2020792477 hasConcept C71924100 @default.
- W2020792477 hasConcept C78344899 @default.
- W2020792477 hasConceptScore W2020792477C102993220 @default.
- W2020792477 hasConceptScore W2020792477C11191006 @default.
- W2020792477 hasConceptScore W2020792477C114092440 @default.
- W2020792477 hasConceptScore W2020792477C136119220 @default.
- W2020792477 hasConceptScore W2020792477C144760519 @default.
- W2020792477 hasConceptScore W2020792477C154945302 @default.
- W2020792477 hasConceptScore W2020792477C188027245 @default.
- W2020792477 hasConceptScore W2020792477C192562407 @default.
- W2020792477 hasConceptScore W2020792477C199343813 @default.
- W2020792477 hasConceptScore W2020792477C202444582 @default.
- W2020792477 hasConceptScore W2020792477C203659156 @default.
- W2020792477 hasConceptScore W2020792477C206321295 @default.
- W2020792477 hasConceptScore W2020792477C27508121 @default.
- W2020792477 hasConceptScore W2020792477C2777686260 @default.
- W2020792477 hasConceptScore W2020792477C33923547 @default.
- W2020792477 hasConceptScore W2020792477C41008148 @default.
- W2020792477 hasConceptScore W2020792477C71139939 @default.
- W2020792477 hasConceptScore W2020792477C71924100 @default.
- W2020792477 hasConceptScore W2020792477C78344899 @default.
- W2020792477 hasIssue "3" @default.
- W2020792477 hasLocation W20207924771 @default.
- W2020792477 hasOpenAccess W2020792477 @default.
- W2020792477 hasPrimaryLocation W20207924771 @default.
- W2020792477 hasRelatedWork W1480754868 @default.
- W2020792477 hasRelatedWork W1521977880 @default.
- W2020792477 hasRelatedWork W1537541219 @default.
- W2020792477 hasRelatedWork W1978559879 @default.
- W2020792477 hasRelatedWork W2067687795 @default.
- W2020792477 hasRelatedWork W2072402123 @default.
- W2020792477 hasRelatedWork W2189106779 @default.
- W2020792477 hasRelatedWork W2483137089 @default.
- W2020792477 hasRelatedWork W90863971 @default.
- W2020792477 hasRelatedWork W46061460 @default.
- W2020792477 hasVolume "20" @default.
- W2020792477 isParatext "false" @default.
- W2020792477 isRetracted "false" @default.
- W2020792477 magId "2020792477" @default.
- W2020792477 workType "article" @default.