Imagem da capa

Metainferential Logics

This book is the first to present a comprehensive investigation of the technical features of the metainferential logics developed in the last years, with their most relevant results and applications. It provides some new paths to define and investigate metainferential logics and offers a thorough st...

ver descrição completa

Na minha lista:

Detalhes bibliográficos
Main Authors:	Pailos, Federico (Author), Da Ré, Bruno (Author)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Recurso Electrónico livro electrónico
Idioma:	inglês
Publicado em:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Edição:	1st ed. 2023.
Colecção:	Trends in Logic, Studia Logica Library, 61
Assuntos:	Logic. Algebra. Machine theory. Order, Lattices, Ordered Algebraic Structures. Formal Languages and Automata Theory.
Acesso em linha:	https://doi.org/10.1007/978-3-031-44381-7
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Advances in the Theory of Varieties of Semigroups
Por: Lee, Edmond W. H.
Publicado em: (2023)

The Congruences of a Finite Lattice A "Proof-by-Picture" Approach /
Por: Grätzer, George
Publicado em: (2023)

Introduction to Logic /
Por: Suppes, Patrick
Publicado em: (1957)

A Course in Real Algebraic Geometry Positivity and Sums of Squares /
Por: Scheiderer, Claus
Publicado em: (2024)

Applied Fuzzy Mathematics
Por: Singh, Manoranjan Kumar
Publicado em: (2024)

Cryptocoding Based on Quasigroups
Por: Mechkaroska, Daniela, et al.
Publicado em: (2024)

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings /
Publicado em: (2023)

Formal Concept Analysis Mathematical Foundations /
Por: Ganter, Bernhard, et al.
Publicado em: (2024)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
Por: Hoffmann, Dirk W.
Publicado em: (2025)

Lattices and Boolean Algebras
Por: Khanna, V. K.
Publicado em: (2004)

Order statistics /
Por: DAVID, Herbent A.
Publicado em: (1970)

The Sufi orders in Islam/
Por: Trimingham, J. Spencer
Publicado em: (1998)

Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings /
Publicado em: (2023)

Lattices and Boolean Algebra:
Por: Vijay, K.
Publicado em: (1988)

Institution-independent Model Theory
Por: Diaconescu, Răzvan
Publicado em: (2025)

Lattices and Boolean Algebras
Por: Khanna, Vijay K.
Publicado em: (2004)

Lattice Boolean Algebra
Por: Khanna, Vijay K.
Publicado em: (2005)

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
Por: Morazán, Marco T.
Publicado em: (2024)

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
Publicado em: (2025)

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday /
Publicado em: (2025)

The logic of causal order /
Por: Davis, James A.
Publicado em: (1985)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I /
Publicado em: (2024)

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
Publicado em: (2024)

New Directions in Relevant Logic
Publicado em: (2025)

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings /
Publicado em: (2025)

Fundamental Discrete Structures
Por: Ravichandran, V., et al.
Publicado em: (2025)

Populist Trends on the world Stage: : Contextualizing the Populist World Order
Por: Siddiquei, Md. Riyad
Publicado em: (2025)

Lattices and Boolean Algebras
Por: Khanna, V. K.
Publicado em: (2004)

Lattice and Theory
Por: Khanna, R. K.
Publicado em: (2010)

Lattices and Boolean Algebras
Por: Khanna, Vijay K.
Publicado em: (2004)

Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings /
Publicado em: (2023)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Publicado em: (2024)

R-Calculus, IV: Propositional Logic
Por: Li, Wei, et al.
Publicado em: (2023)

Automata Theory And Formal Languages /
Por: Kandar, Shyamalendu
Publicado em: (2012)

Automata Theory And Formal Languages /
Por: Kandar, Shyamalendu
Publicado em: (2012)

Automata Theory And Formal Languages /
Por: Kandar, Shyamalendu
Publicado em: (2012)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Publicado em: (2023)

Restarting Automata The Standard Type of Restarting Automaton and Its Variants /
Por: Otto, Friedrich
Publicado em: (2025)

Restarting Automata Extensions and Generalizations /
Por: Otto, Friedrich
Publicado em: (2025)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Publicado em: (2025)