FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1973959253> ?p ?o ?g. }

• W1973959253 abstract "A simple Henkin-style completeness proof for Godel 3-valued propositional logic G3 is provided. The idea is to endow G3 with an under-determined semantics (u-semantics) of the type defined by Dunn. The key concept in u-semantics is that of “under-determined interpretation” (u-interpretation). It is shown that consistent prime theories built upon G3 can be understood as (canonical) u-interpretations. In order to prove this fact we follow Brady by defining G3 as an extension of Anderson and Belnap’s positive fragment of First Degree Entailment Logic." @default.
• W1973959253 created "2016-06-24" @default.
• W1973959253 creator A5035778877 @default.
• W1973959253 date "2014-01-07" @default.
• W1973959253 modified "2023-09-27" @default.
• W1973959253 title "A simple Henkin-style completeness proof for Gödel 3-valued logic G3" @default.
• W1973959253 cites W1505359507 @default.
• W1973959253 cites W1531571632 @default.
• W1973959253 cites W1611875164 @default.
• W1973959253 cites W1971314708 @default.
• W1973959253 cites W1980132852 @default.
• W1973959253 cites W2009475808 @default.
• W1973959253 cites W2023605209 @default.
• W1973959253 cites W2057015138 @default.
• W1973959253 cites W2084171043 @default.
• W1973959253 cites W2126833102 @default.
• W1973959253 cites W2129724747 @default.
• W1973959253 cites W2724862080 @default.
• W1973959253 cites W2738657924 @default.
• W1973959253 cites W3152800724 @default.
• W1973959253 doi "https://doi.org/10.12775/llp.2014.001" @default.
• W1973959253 hasPublicationYear "2014" @default.
• W1973959253 type Work @default.
• W1973959253 sameAs 1973959253 @default.
• W1973959253 citedByCount "3" @default.
• W1973959253 countsByYear W19739592532015 @default.
• W1973959253 countsByYear W19739592532019 @default.
• W1973959253 countsByYear W19739592532020 @default.
• W1973959253 crossrefType "journal-article" @default.
• W1973959253 hasAuthorship W1973959253A5035778877 @default.
• W1973959253 hasConcept C102993220 @default.
• W1973959253 hasConcept C118615104 @default.
• W1973959253 hasConcept C134306372 @default.
• W1973959253 hasConcept C134752490 @default.
• W1973959253 hasConcept C14523651 @default.
• W1973959253 hasConcept C154945302 @default.
• W1973959253 hasConcept C156325763 @default.
• W1973959253 hasConcept C17231256 @default.
• W1973959253 hasConcept C178421362 @default.
• W1973959253 hasConcept C184337299 @default.
• W1973959253 hasConcept C191222856 @default.
• W1973959253 hasConcept C199343813 @default.
• W1973959253 hasConcept C199360897 @default.
• W1973959253 hasConcept C200116569 @default.
• W1973959253 hasConcept C207648694 @default.
• W1973959253 hasConcept C2777686260 @default.
• W1973959253 hasConcept C2778029271 @default.
• W1973959253 hasConcept C2781302003 @default.
• W1973959253 hasConcept C33203268 @default.
• W1973959253 hasConcept C33923547 @default.
• W1973959253 hasConcept C41008148 @default.
• W1973959253 hasConcept C527412718 @default.
• W1973959253 hasConcept C69562738 @default.
• W1973959253 hasConcept C71924100 @default.
• W1973959253 hasConcept C9672783 @default.
• W1973959253 hasConceptScore W1973959253C102993220 @default.
• W1973959253 hasConceptScore W1973959253C118615104 @default.
• W1973959253 hasConceptScore W1973959253C134306372 @default.
• W1973959253 hasConceptScore W1973959253C134752490 @default.
• W1973959253 hasConceptScore W1973959253C14523651 @default.
• W1973959253 hasConceptScore W1973959253C154945302 @default.
• W1973959253 hasConceptScore W1973959253C156325763 @default.
• W1973959253 hasConceptScore W1973959253C17231256 @default.
• W1973959253 hasConceptScore W1973959253C178421362 @default.
• W1973959253 hasConceptScore W1973959253C184337299 @default.
• W1973959253 hasConceptScore W1973959253C191222856 @default.
• W1973959253 hasConceptScore W1973959253C199343813 @default.
• W1973959253 hasConceptScore W1973959253C199360897 @default.
• W1973959253 hasConceptScore W1973959253C200116569 @default.
• W1973959253 hasConceptScore W1973959253C207648694 @default.
• W1973959253 hasConceptScore W1973959253C2777686260 @default.
• W1973959253 hasConceptScore W1973959253C2778029271 @default.
• W1973959253 hasConceptScore W1973959253C2781302003 @default.
• W1973959253 hasConceptScore W1973959253C33203268 @default.
• W1973959253 hasConceptScore W1973959253C33923547 @default.
• W1973959253 hasConceptScore W1973959253C41008148 @default.
• W1973959253 hasConceptScore W1973959253C527412718 @default.
• W1973959253 hasConceptScore W1973959253C69562738 @default.
• W1973959253 hasConceptScore W1973959253C71924100 @default.
• W1973959253 hasConceptScore W1973959253C9672783 @default.
• W1973959253 hasLocation W19739592531 @default.
• W1973959253 hasOpenAccess W1973959253 @default.
• W1973959253 hasPrimaryLocation W19739592531 @default.
• W1973959253 hasRelatedWork W1531571632 @default.
• W1973959253 hasRelatedWork W1566400901 @default.
• W1973959253 hasRelatedWork W1667825161 @default.
• W1973959253 hasRelatedWork W2009475808 @default.
• W1973959253 hasRelatedWork W2037548896 @default.
• W1973959253 hasRelatedWork W2039659978 @default.
• W1973959253 hasRelatedWork W2061774562 @default.
• W1973959253 hasRelatedWork W2065608775 @default.
• W1973959253 hasRelatedWork W2070877511 @default.
• W1973959253 hasRelatedWork W2078212736 @default.
• W1973959253 hasRelatedWork W2084875152 @default.
• W1973959253 hasRelatedWork W2109246080 @default.
• W1973959253 hasRelatedWork W2363743690 @default.
• W1973959253 hasRelatedWork W2556155522 @default.
• W1973959253 hasRelatedWork W2920501492 @default.
• W1973959253 hasRelatedWork W2952799563 @default.
• W1973959253 hasRelatedWork W3034542628 @default.

• next