Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Algebraic Perspectives on Substructural Logics

Name: Algebraic Perspectives on Substructural Logics
Brand: Springer Nature Switzerland AG
SKU: 37627863
Price: 112.68 EUR
Availability: InStock
Author: Francesco Paoli
ISBN: 9783030521653

Francesco Paoli

Antonio Ledda

Language

English

Book Paperback

Libristo code: 37627863

Publishers Springer Nature Switzerland AG, November 2021

This volume presents the state of the art in the algebraic investigation into substructural logics.... Full description

Libristo code: 37627863

274 b

112.68 €

220.39 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

BABADADA black-and-white, Basa Sunda - norsk (bokm?l), kamus gambar - visuell ordbok

Paperback

8.13 € 15.90 лв

Verwaltungswissenschaft in europäischen Ländern. Hochschule für Verwaltungswissenschaften Speyer

Paperback

69.20 € 135.35 лв

Head ood, vaike hundu - YN N N N N N , N N (eesti keel - vene keel) Ulrich Renz

Adobe ePub DRM

5.81 € 11.36 лв

Vocabulaire Et Grammaire De La Langue Géorgienne: Premi?re Partie, Contenant Le Vocabulaire Géorgien-français Et Français-géorgien... Julius von Klaproth

Paperback

21.76 € 42.56 лв

La receta: juguete cómico en dos actos y en verso Mariano Barranco

Paperback

13.42 € 26.26 лв

Písanka 1/1 s Apu pro ZŠ (vázané písmo) PhDr. Ivana Šimková

Paperback

2.36 € 4.62 лв

Wiedźmin. Tom 9. Rozdroże kruków Andrzej Sapkowski

Paperback

12.50 € 24.45 лв

Biographien zur Kulturgeschichte der Schweiz Rudolf Wolf

Paperback

24.64 € 48.20 лв

Entorno Virtual en procesos de Ense?anza - Aprendizaje Edgar Alberto Cobo Granda

Paperback

48.72 € 95.30 лв

Happy Sugar Life - Tome 04 Tomiyaki Kagisora

Paperback

11.78 € 23.04 лв

Alimentazione e integrazione per gli ormoni e la mente Massimo Spattini

Paperback

45.64 € 89.26 лв

PRACTICAL KOREAN BASIC 1 (Coréen - Anglais) CHO Book

Paperback

44.20 € 86.44 лв

Saint Seiya next dimension t04 KURUMADA-M

Paperback

12.81 € 25.05 лв

Y a mí ¿quién me asiste? LILIT MARCUS

Paperback

12.29 € 24.04 лв

Pády a ich prevencia u hospitalizovaných pacientov Ivana Bóriková

Paperback

7.61 € 14.88 лв

Souprava pastelek Progresso 8755 6 ks

Stationery items

4.27 € 8.34 лв

Liberte Individuelle Sous La Republique, Lettre A M. Le Procureur de la Republique GIROUD DE VILLETTE-J

Paperback

12.96 € 25.35 лв

La médiation de l'art contemporain, entre publics et oeuvre Violaine Bretin

Paperback

48.72 € 95.30 лв

temporalen Elemente des Englischen und deren Zeitbezug in fiktionalen narrativen Texten Florian Panitz

Hardback

124.78 € 244.04 лв

Angelin Preljocaj, de La Creation a la Memoire de La Danse Angelin Preljocaj

Paperback

32.16 € 62.89 лв

Le Judaisme comme race et comme religion Ernest Renan

Paperback

10.75 € 21.02 лв

Najlepse Price Mladena Markova Mladen Markov

Paperback

17.90 € 35.01 лв

Havada Ask Kokusu Kim Wright

Paperback

15.85 € 31.00 лв

Sihir Atesi Cate Tiernan

Paperback

17.91 € 35.03 лв

This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics.Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments.This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics.