1 option
Residuated structures in algebra and logic / George Metcalfe, Francesco Paoli, Constantine Tsinakis.
- Format:
- Book
- Author/Creator:
- Metcalfe, George, author.
- Paoli, Francesco, author.
- Tsinakis, Constantine, author.
- Series:
- Mathematical Surveys and Monographs, 2331-7159 ; v. 277
- Language:
- English
- Subjects (All):
- Algebraic logic.
- Algebra, Universal.
- Physical Description:
- 1 online resource
- Place of Publication:
- Providence, Rhode Island : American Mathematical Society, [2023]
- System Details:
- Mode of access : World Wide Web
- Contents:
- Order and residuation Proof systems Consequence relations Structure theory Semilinearity and distributivity Cancellativity Divisibility Bridges between algebra and logic Finite embeddings and finite models Open problems Basic notions of universal algebra
- Notes:
- Includes bibliographical references and index.
- Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2023
- Description based on print version record.
- Other Format:
- Print version: Metcalfe, George, Residuated structures in algebra and logic /
- ISBN:
- 9781470475512 (online)
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.