Proof theory and algebra in logic. ([2019])
- Record Type:
- Book
- Title:
- Proof theory and algebra in logic. ([2019])
- Main Title:
- Proof theory and algebra in logic
- Further Information:
- Note: Hiroakira Ono.
- Authors:
- Ono, Hiroakira
- Contents:
- Introduction.- Part I Proof Theory.- Sequent systems.- Cut elimination for sequent systems.- Proof-theoretic analysis of logical properties.- Modal and substructural logics.- Deducibility and axiomatic extensions.- Part II Algebra in Logic.- Boolean algebras and classical logic.- Many-valued algebras.- Heyting algebras and intuitionistic logic.- Logics and varieties.- Residuated structures.- Modal algebras.- References.- Index.
- Publisher Details:
- Singapore : Springer
- Publication Date:
- 2019
- Copyright Date:
- 2019
- Extent:
- 1 online resource, illustrations
- Subjects:
- 511.3
Proof theory
Algebraic logic
Electronic books - Languages:
- English
- ISBNs:
- 9789811379970
9811379971 - Related ISBNs:
- 9789811379963
- Notes:
- Note: Includes bibliographical references and index.
Note: Online resource; title from PDF title page (SpringerLink, viewed August 28, 2019). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.444969
- Ingest File:
- 02_573.xml