Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Algebraic Perspectives on Substructural Logics

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

Francesco Paoli

Antonio Ledda

Língua

Inglês

Livro Capa mole

Código Libristo: 37627863

Editoras Springer Nature Switzerland AG, novembro 2021

This volume presents the state of the art in the algebraic investigation into substructural logics.... Descrição completa

Código Libristo: 37627863

289 b

119.36 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

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

Adobe ePub DRM

5.45 €

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

Capa mole

69.59 €

Happy Sugar Life - Tome 04 Tomiyaki Kagisora

Capa mole

11.62 €

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

Capa mole

11.52 €

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

Capa mole

1.61 €

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

Capa mole

14.25 €

Thothův Tarot Aleister Crowley

Cartões

28.92 €

Najlepse Price Mladena Markova Mladen Markov

Capa mole

17.49 €

Sihir Atesi Cate Tiernan

Capa mole

18.00 €

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

Capa mole

6.87 €

Biographien zur Kulturgeschichte der Schweiz Rudolf Wolf

Capa mole

23.46 €

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

Capa mole

51.78 €

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

Livro de capa dura

125.43 €

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

Capa mole

51.78 €

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

Capa mole

12.74 €

Souprava pastelek Progresso 8755 6 ks

Artigos de papelaria

3.94 €

Havada Ask Kokusu Kim Wright

Capa mole

15.97 €

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

Capa mole

30.44 €

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.