Skip to main content

1994 | OriginalPaper | Buchkapitel

Monoidal Logic

verfasst von : Ulrich Höhle

Erschienen in: Fuzzy-Systems in Computer Science

Verlag: Vieweg+Teubner Verlag

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Monoidal logic is the a common framework for intuitionistic logic, Lukasiewicz logic and to a ceratin extent for Girard’s commutative logic. Soundness and completeness of the corresponding predicate calculi are verified.

Metadaten
Titel
Monoidal Logic
verfasst von
Ulrich Höhle
Copyright-Jahr
1994
Verlag
Vieweg+Teubner Verlag
DOI
https://doi.org/10.1007/978-3-322-86825-1_18

    Marktübersichten

    Die im Laufe eines Jahres in der „adhäsion“ veröffentlichten Marktübersichten helfen Anwendern verschiedenster Branchen, sich einen gezielten Überblick über Lieferantenangebote zu verschaffen.