Matches in SemOpenAlex for { <https://semopenalex.org/work/W1558740835> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1558740835 endingPage "182" @default.
- W1558740835 startingPage "165" @default.
- W1558740835 abstract "We introduce a sequent calculus for bilattice-based annotated logic (BAL). We show that this logic can be syntactically and semantically translated into a fragment MSL*of conventional many-sorted logic MSL. We show deductive equivalence of sequent calculus for BAL and sequent calculus for MSL*." @default.
- W1558740835 created "2016-06-24" @default.
- W1558740835 creator A5026643182 @default.
- W1558740835 date "2007-09-14" @default.
- W1558740835 modified "2023-09-27" @default.
- W1558740835 title "A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation" @default.
- W1558740835 cites W1551340995 @default.
- W1558740835 cites W1556184062 @default.
- W1558740835 cites W1566632003 @default.
- W1558740835 cites W1577536563 @default.
- W1558740835 cites W1606448752 @default.
- W1558740835 cites W1635116973 @default.
- W1558740835 cites W2001805670 @default.
- W1558740835 cites W2020162476 @default.
- W1558740835 cites W2064387576 @default.
- W1558740835 cites W2093713825 @default.
- W1558740835 cites W4205529794 @default.
- W1558740835 doi "https://doi.org/10.1007/978-3-540-73099-6_14" @default.
- W1558740835 hasPublicationYear "2007" @default.
- W1558740835 type Work @default.
- W1558740835 sameAs 1558740835 @default.
- W1558740835 citedByCount "2" @default.
- W1558740835 crossrefType "book-chapter" @default.
- W1558740835 hasAuthorship W1558740835A5026643182 @default.
- W1558740835 hasConcept C108710211 @default.
- W1558740835 hasConcept C111404639 @default.
- W1558740835 hasConcept C11413529 @default.
- W1558740835 hasConcept C118615104 @default.
- W1558740835 hasConcept C136119220 @default.
- W1558740835 hasConcept C199343813 @default.
- W1558740835 hasConcept C199360897 @default.
- W1558740835 hasConcept C202444582 @default.
- W1558740835 hasConcept C2524010 @default.
- W1558740835 hasConcept C2776235265 @default.
- W1558740835 hasConcept C2777686260 @default.
- W1558740835 hasConcept C2780069185 @default.
- W1558740835 hasConcept C33923547 @default.
- W1558740835 hasConcept C41008148 @default.
- W1558740835 hasConcept C62073222 @default.
- W1558740835 hasConcept C6489637 @default.
- W1558740835 hasConcept C65880906 @default.
- W1558740835 hasConcept C71924100 @default.
- W1558740835 hasConcept C89421646 @default.
- W1558740835 hasConceptScore W1558740835C108710211 @default.
- W1558740835 hasConceptScore W1558740835C111404639 @default.
- W1558740835 hasConceptScore W1558740835C11413529 @default.
- W1558740835 hasConceptScore W1558740835C118615104 @default.
- W1558740835 hasConceptScore W1558740835C136119220 @default.
- W1558740835 hasConceptScore W1558740835C199343813 @default.
- W1558740835 hasConceptScore W1558740835C199360897 @default.
- W1558740835 hasConceptScore W1558740835C202444582 @default.
- W1558740835 hasConceptScore W1558740835C2524010 @default.
- W1558740835 hasConceptScore W1558740835C2776235265 @default.
- W1558740835 hasConceptScore W1558740835C2777686260 @default.
- W1558740835 hasConceptScore W1558740835C2780069185 @default.
- W1558740835 hasConceptScore W1558740835C33923547 @default.
- W1558740835 hasConceptScore W1558740835C41008148 @default.
- W1558740835 hasConceptScore W1558740835C62073222 @default.
- W1558740835 hasConceptScore W1558740835C6489637 @default.
- W1558740835 hasConceptScore W1558740835C65880906 @default.
- W1558740835 hasConceptScore W1558740835C71924100 @default.
- W1558740835 hasConceptScore W1558740835C89421646 @default.
- W1558740835 hasLocation W15587408351 @default.
- W1558740835 hasOpenAccess W1558740835 @default.
- W1558740835 hasPrimaryLocation W15587408351 @default.
- W1558740835 hasRelatedWork W1544929876 @default.
- W1558740835 hasRelatedWork W1847803379 @default.
- W1558740835 hasRelatedWork W1854821975 @default.
- W1558740835 hasRelatedWork W1976652205 @default.
- W1558740835 hasRelatedWork W1996640088 @default.
- W1558740835 hasRelatedWork W2085914381 @default.
- W1558740835 hasRelatedWork W2089782082 @default.
- W1558740835 hasRelatedWork W2095349379 @default.
- W1558740835 hasRelatedWork W2097313873 @default.
- W1558740835 hasRelatedWork W2155156044 @default.
- W1558740835 hasRelatedWork W2251713187 @default.
- W1558740835 hasRelatedWork W246233822 @default.
- W1558740835 hasRelatedWork W289738362 @default.
- W1558740835 hasRelatedWork W2944994753 @default.
- W1558740835 hasRelatedWork W2971007241 @default.
- W1558740835 hasRelatedWork W3004229946 @default.
- W1558740835 hasRelatedWork W3004789298 @default.
- W1558740835 hasRelatedWork W3037905658 @default.
- W1558740835 hasRelatedWork W3150713206 @default.
- W1558740835 hasRelatedWork W2946620933 @default.
- W1558740835 isParatext "false" @default.
- W1558740835 isRetracted "false" @default.
- W1558740835 magId "1558740835" @default.
- W1558740835 workType "book-chapter" @default.