Matches in SemOpenAlex for { <https://semopenalex.org/work/W1843829875> ?p ?o ?g. }
- W1843829875 endingPage "51" @default.
- W1843829875 startingPage "30" @default.
- W1843829875 abstract "The logics we present in this tutorial, Gödel logics, can be characterized in a rough-and-ready way as follows: The language is standard, defined at different levels: propositional, quantified-propositional, first-order. The logics are many-valued, and the sets of truth values considered are (closed) subsets of [0, 1] which contain both 0 and 1. 1 is the ‘designated value,’ i.e., a formula is valid if it receives the value 1 in every interpretation. The truth functions of conjunction and disjunction are minimum and maximum, respectively, and in the first-order case quantifiers are defined by infimum and supremum over subsets of the set of truth values." @default.
- W1843829875 created "2016-06-24" @default.
- W1843829875 creator A5036161813 @default.
- W1843829875 date "2010-01-01" @default.
- W1843829875 modified "2023-10-17" @default.
- W1843829875 title "Gödel Logics – A Survey" @default.
- W1843829875 cites W1515335557 @default.
- W1843829875 cites W1539382740 @default.
- W1843829875 cites W1546296649 @default.
- W1843829875 cites W1611875164 @default.
- W1843829875 cites W1883540685 @default.
- W1843829875 cites W1970249071 @default.
- W1843829875 cites W1971043428 @default.
- W1843829875 cites W1972429097 @default.
- W1843829875 cites W1998447124 @default.
- W1843829875 cites W2016280880 @default.
- W1843829875 cites W2037330115 @default.
- W1843829875 cites W2041063004 @default.
- W1843829875 cites W2065076866 @default.
- W1843829875 cites W2082736027 @default.
- W1843829875 cites W2104232475 @default.
- W1843829875 cites W2110182592 @default.
- W1843829875 cites W2156693798 @default.
- W1843829875 cites W2160449623 @default.
- W1843829875 cites W2167004790 @default.
- W1843829875 cites W4210866997 @default.
- W1843829875 cites W4250746159 @default.
- W1843829875 doi "https://doi.org/10.1007/978-3-642-16242-8_4" @default.
- W1843829875 hasPublicationYear "2010" @default.
- W1843829875 type Work @default.
- W1843829875 sameAs 1843829875 @default.
- W1843829875 citedByCount "5" @default.
- W1843829875 countsByYear W18438298752012 @default.
- W1843829875 countsByYear W18438298752013 @default.
- W1843829875 countsByYear W18438298752020 @default.
- W1843829875 countsByYear W18438298752022 @default.
- W1843829875 crossrefType "book-chapter" @default.
- W1843829875 hasAuthorship W1843829875A5036161813 @default.
- W1843829875 hasConcept C102993220 @default.
- W1843829875 hasConcept C105795698 @default.
- W1843829875 hasConcept C118615104 @default.
- W1843829875 hasConcept C121332964 @default.
- W1843829875 hasConcept C1276947 @default.
- W1843829875 hasConcept C138885662 @default.
- W1843829875 hasConcept C14523651 @default.
- W1843829875 hasConcept C154945302 @default.
- W1843829875 hasConcept C177264268 @default.
- W1843829875 hasConcept C1883856 @default.
- W1843829875 hasConcept C199360897 @default.
- W1843829875 hasConcept C2776291640 @default.
- W1843829875 hasConcept C33203268 @default.
- W1843829875 hasConcept C33923547 @default.
- W1843829875 hasConcept C37754750 @default.
- W1843829875 hasConcept C41008148 @default.
- W1843829875 hasConcept C41895202 @default.
- W1843829875 hasConcept C42011625 @default.
- W1843829875 hasConcept C46274116 @default.
- W1843829875 hasConcept C5263885 @default.
- W1843829875 hasConcept C527412718 @default.
- W1843829875 hasConcept C58166 @default.
- W1843829875 hasConcept C59656382 @default.
- W1843829875 hasConcept C69562738 @default.
- W1843829875 hasConcept C74640108 @default.
- W1843829875 hasConcept C86602344 @default.
- W1843829875 hasConcept C95611797 @default.
- W1843829875 hasConcept C98224912 @default.
- W1843829875 hasConceptScore W1843829875C102993220 @default.
- W1843829875 hasConceptScore W1843829875C105795698 @default.
- W1843829875 hasConceptScore W1843829875C118615104 @default.
- W1843829875 hasConceptScore W1843829875C121332964 @default.
- W1843829875 hasConceptScore W1843829875C1276947 @default.
- W1843829875 hasConceptScore W1843829875C138885662 @default.
- W1843829875 hasConceptScore W1843829875C14523651 @default.
- W1843829875 hasConceptScore W1843829875C154945302 @default.
- W1843829875 hasConceptScore W1843829875C177264268 @default.
- W1843829875 hasConceptScore W1843829875C1883856 @default.
- W1843829875 hasConceptScore W1843829875C199360897 @default.
- W1843829875 hasConceptScore W1843829875C2776291640 @default.
- W1843829875 hasConceptScore W1843829875C33203268 @default.
- W1843829875 hasConceptScore W1843829875C33923547 @default.
- W1843829875 hasConceptScore W1843829875C37754750 @default.
- W1843829875 hasConceptScore W1843829875C41008148 @default.
- W1843829875 hasConceptScore W1843829875C41895202 @default.
- W1843829875 hasConceptScore W1843829875C42011625 @default.
- W1843829875 hasConceptScore W1843829875C46274116 @default.
- W1843829875 hasConceptScore W1843829875C5263885 @default.
- W1843829875 hasConceptScore W1843829875C527412718 @default.
- W1843829875 hasConceptScore W1843829875C58166 @default.
- W1843829875 hasConceptScore W1843829875C59656382 @default.
- W1843829875 hasConceptScore W1843829875C69562738 @default.
- W1843829875 hasConceptScore W1843829875C74640108 @default.
- W1843829875 hasConceptScore W1843829875C86602344 @default.
- W1843829875 hasConceptScore W1843829875C95611797 @default.
- W1843829875 hasConceptScore W1843829875C98224912 @default.
- W1843829875 hasLocation W18438298751 @default.
- W1843829875 hasOpenAccess W1843829875 @default.
- W1843829875 hasPrimaryLocation W18438298751 @default.
- W1843829875 hasRelatedWork W1529326889 @default.