1994 | OriginalPaper | Buchkapitel
Monoidal Logic
verfasst von : Ulrich Höhle
Erschienen in: Fuzzy-Systems in Computer Science
Verlag: Vieweg+Teubner Verlag
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.