Matches in SemOpenAlex for { <https://semopenalex.org/work/W1987316524> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1987316524 abstract "Monoidal triangular norm logic MTL is the logic of left-continuous triangular norms. In the paper we present a relational formalization of the logic MTL and then we introduce relational dual tableau that can be used for verification of validity of MTL-formulas. We prove soundness and completeness of the system." @default.
- W1987316524 created "2016-06-24" @default.
- W1987316524 creator A5029374365 @default.
- W1987316524 creator A5055824829 @default.
- W1987316524 date "2011-01-01" @default.
- W1987316524 modified "2023-09-23" @default.
- W1987316524 title "Dual tableau for monoidal triangular norm logic MTL" @default.
- W1987316524 cites W1495228235 @default.
- W1987316524 cites W1496398693 @default.
- W1987316524 cites W1511669762 @default.
- W1987316524 cites W1574843523 @default.
- W1987316524 cites W1582128480 @default.
- W1987316524 cites W1915714774 @default.
- W1987316524 cites W1983382657 @default.
- W1987316524 cites W2008228896 @default.
- W1987316524 cites W2011534128 @default.
- W1987316524 cites W2013888202 @default.
- W1987316524 cites W2015274895 @default.
- W1987316524 cites W2043837692 @default.
- W1987316524 cites W205246246 @default.
- W1987316524 cites W2059051322 @default.
- W1987316524 cites W2063947486 @default.
- W1987316524 cites W2064377529 @default.
- W1987316524 cites W2088476380 @default.
- W1987316524 cites W2100331856 @default.
- W1987316524 cites W2110802658 @default.
- W1987316524 cites W2113739596 @default.
- W1987316524 cites W2146573945 @default.
- W1987316524 cites W2744250753 @default.
- W1987316524 cites W607239742 @default.
- W1987316524 cites W2529323575 @default.
- W1987316524 doi "https://doi.org/10.1016/j.fss.2010.09.007" @default.
- W1987316524 hasPublicationYear "2011" @default.
- W1987316524 type Work @default.
- W1987316524 sameAs 1987316524 @default.
- W1987316524 citedByCount "4" @default.
- W1987316524 countsByYear W19873165242014 @default.
- W1987316524 countsByYear W19873165242018 @default.
- W1987316524 crossrefType "journal-article" @default.
- W1987316524 hasAuthorship W1987316524A5029374365 @default.
- W1987316524 hasAuthorship W1987316524A5055824829 @default.
- W1987316524 hasConcept C111472728 @default.
- W1987316524 hasConcept C118615104 @default.
- W1987316524 hasConcept C134306372 @default.
- W1987316524 hasConcept C136119220 @default.
- W1987316524 hasConcept C138885662 @default.
- W1987316524 hasConcept C17231256 @default.
- W1987316524 hasConcept C191795146 @default.
- W1987316524 hasConcept C199360897 @default.
- W1987316524 hasConcept C202444582 @default.
- W1987316524 hasConcept C33923547 @default.
- W1987316524 hasConcept C39920170 @default.
- W1987316524 hasConcept C41008148 @default.
- W1987316524 hasConceptScore W1987316524C111472728 @default.
- W1987316524 hasConceptScore W1987316524C118615104 @default.
- W1987316524 hasConceptScore W1987316524C134306372 @default.
- W1987316524 hasConceptScore W1987316524C136119220 @default.
- W1987316524 hasConceptScore W1987316524C138885662 @default.
- W1987316524 hasConceptScore W1987316524C17231256 @default.
- W1987316524 hasConceptScore W1987316524C191795146 @default.
- W1987316524 hasConceptScore W1987316524C199360897 @default.
- W1987316524 hasConceptScore W1987316524C202444582 @default.
- W1987316524 hasConceptScore W1987316524C33923547 @default.
- W1987316524 hasConceptScore W1987316524C39920170 @default.
- W1987316524 hasConceptScore W1987316524C41008148 @default.
- W1987316524 hasLocation W19873165241 @default.
- W1987316524 hasOpenAccess W1987316524 @default.
- W1987316524 hasPrimaryLocation W19873165241 @default.
- W1987316524 hasRelatedWork W1602192439 @default.
- W1987316524 hasRelatedWork W1983382657 @default.
- W1987316524 hasRelatedWork W19966199 @default.
- W1987316524 hasRelatedWork W1998676502 @default.
- W1987316524 hasRelatedWork W2030878509 @default.
- W1987316524 hasRelatedWork W2031659660 @default.
- W1987316524 hasRelatedWork W2033092389 @default.
- W1987316524 hasRelatedWork W2041006875 @default.
- W1987316524 hasRelatedWork W2052913890 @default.
- W1987316524 hasRelatedWork W2092110473 @default.
- W1987316524 hasRelatedWork W2092184248 @default.
- W1987316524 hasRelatedWork W2094744502 @default.
- W1987316524 hasRelatedWork W2097933136 @default.
- W1987316524 hasRelatedWork W2100783870 @default.
- W1987316524 hasRelatedWork W2104787799 @default.
- W1987316524 hasRelatedWork W2138022794 @default.
- W1987316524 hasRelatedWork W2153202364 @default.
- W1987316524 hasRelatedWork W2391416120 @default.
- W1987316524 hasRelatedWork W2520369867 @default.
- W1987316524 hasRelatedWork W67130233 @default.
- W1987316524 isParatext "false" @default.
- W1987316524 isRetracted "false" @default.
- W1987316524 magId "1987316524" @default.
- W1987316524 workType "article" @default.