FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1503075583> ?p ?o ?g. }

• W1503075583 abstract "The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin.We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics. As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions.Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones. Then we turn to Glivenko's theorem, which says that a formula is an intuitionistic tautology if and only if its double negation is a classical one. We generalise it to the substructural setting, identifying for each substructural logic its Glivenko equivalence class with smallest and largest element. This is also where we begin investigating lattices of logics and varieties, rather than particular examples.We continue in this vein by presenting a number of results concerning minimal varieties/maximal logics. A typical theorem there says that for some given well-known variety its subvariety lattice has precisely such-and-such number of minimal members (where values for such-and-such include, but are not limited to, continuum, countably many and two). In the last two chapters we focus on the lattice of varieties corresponding to logics without contraction. In one we prove a negative result: that there are no nontrivial splittings in that variety. In the other, we prove a positive one: that semisimple varieties coincide with discriminator ones. Within the second, more technical part of the book another transition process may be traced. Namely, we begin with logically inclined technicalities and end with algebraically inclined ones. Here, perhaps, algebraic rendering of Glivenko theorems marks the equilibrium point, at least in the sense that finiteness properties, decidability and Glivenko theorems are of clear interest to logicians, whereas semisimplicity and discriminator varieties are universal algebra par exellence. It is for the reader to judge whether we succeeded in weaving these threads into a seamless fabric. This book: Considers both the algebraic and logical perspective within a common framework; Is written by experts in the area; Is easily accessible to graduate students and researchers from other fields; Includes results summarized in tables and diagrams to provide an overview of the area; Is useful as a textbook for a course in algebraic logic, with exercises and suggested research directions; And provides a concise introduction to the subject and leads directly to research topics. The ideas from algebra and logic are developed hand-in-hand and the connections are shown in every level." @default.
• W1503075583 created "2016-06-24" @default.
• W1503075583 creator A5004708077 @default.
• W1503075583 creator A5006796466 @default.
• W1503075583 creator A5053842643 @default.
• W1503075583 creator A5072723948 @default.
• W1503075583 date "2007-01-01" @default.
• W1503075583 modified "2023-09-25" @default.
• W1503075583 title "Residuated Lattices: An Algebraic Glimpse at Substructural Logics" @default.
• W1503075583 doi "https://doi.org/10.1016/s0049-237x(07)x8002-9" @default.
• W1503075583 hasPublicationYear "2007" @default.
• W1503075583 type Work @default.
• W1503075583 sameAs 1503075583 @default.
• W1503075583 citedByCount "237" @default.
• W1503075583 countsByYear W15030755832012 @default.
• W1503075583 countsByYear W15030755832013 @default.
• W1503075583 countsByYear W15030755832014 @default.
• W1503075583 countsByYear W15030755832015 @default.
• W1503075583 countsByYear W15030755832016 @default.
• W1503075583 countsByYear W15030755832017 @default.
• W1503075583 countsByYear W15030755832018 @default.
• W1503075583 countsByYear W15030755832019 @default.
• W1503075583 countsByYear W15030755832020 @default.
• W1503075583 countsByYear W15030755832021 @default.
• W1503075583 countsByYear W15030755832022 @default.
• W1503075583 crossrefType "book" @default.
• W1503075583 hasAuthorship W1503075583A5004708077 @default.
• W1503075583 hasAuthorship W1503075583A5006796466 @default.
• W1503075583 hasAuthorship W1503075583A5053842643 @default.
• W1503075583 hasAuthorship W1503075583A5072723948 @default.
• W1503075583 hasConcept C111472728 @default.
• W1503075583 hasConcept C11413529 @default.
• W1503075583 hasConcept C118615104 @default.
• W1503075583 hasConcept C134306372 @default.
• W1503075583 hasConcept C136119220 @default.
• W1503075583 hasConcept C138885662 @default.
• W1503075583 hasConcept C153269930 @default.
• W1503075583 hasConcept C154945302 @default.
• W1503075583 hasConcept C1883856 @default.
• W1503075583 hasConcept C188971069 @default.
• W1503075583 hasConcept C189950617 @default.
• W1503075583 hasConcept C202444582 @default.
• W1503075583 hasConcept C33923547 @default.
• W1503075583 hasConcept C41008148 @default.
• W1503075583 hasConcept C42011625 @default.
• W1503075583 hasConcept C48103436 @default.
• W1503075583 hasConcept C5263885 @default.
• W1503075583 hasConcept C58166 @default.
• W1503075583 hasConcept C76449584 @default.
• W1503075583 hasConcept C86523455 @default.
• W1503075583 hasConcept C86602344 @default.
• W1503075583 hasConcept C9376300 @default.
• W1503075583 hasConcept C98224912 @default.
• W1503075583 hasConceptScore W1503075583C111472728 @default.
• W1503075583 hasConceptScore W1503075583C11413529 @default.
• W1503075583 hasConceptScore W1503075583C118615104 @default.
• W1503075583 hasConceptScore W1503075583C134306372 @default.
• W1503075583 hasConceptScore W1503075583C136119220 @default.
• W1503075583 hasConceptScore W1503075583C138885662 @default.
• W1503075583 hasConceptScore W1503075583C153269930 @default.
• W1503075583 hasConceptScore W1503075583C154945302 @default.
• W1503075583 hasConceptScore W1503075583C1883856 @default.
• W1503075583 hasConceptScore W1503075583C188971069 @default.
• W1503075583 hasConceptScore W1503075583C189950617 @default.
• W1503075583 hasConceptScore W1503075583C202444582 @default.
• W1503075583 hasConceptScore W1503075583C33923547 @default.
• W1503075583 hasConceptScore W1503075583C41008148 @default.
• W1503075583 hasConceptScore W1503075583C42011625 @default.
• W1503075583 hasConceptScore W1503075583C48103436 @default.
• W1503075583 hasConceptScore W1503075583C5263885 @default.
• W1503075583 hasConceptScore W1503075583C58166 @default.
• W1503075583 hasConceptScore W1503075583C76449584 @default.
• W1503075583 hasConceptScore W1503075583C86523455 @default.
• W1503075583 hasConceptScore W1503075583C86602344 @default.
• W1503075583 hasConceptScore W1503075583C9376300 @default.
• W1503075583 hasConceptScore W1503075583C98224912 @default.
• W1503075583 hasLocation W15030755831 @default.
• W1503075583 hasOpenAccess W1503075583 @default.
• W1503075583 hasPrimaryLocation W15030755831 @default.
• W1503075583 hasRelatedWork W1522880694 @default.
• W1503075583 hasRelatedWork W169137922 @default.
• W1503075583 hasRelatedWork W1783029874 @default.
• W1503075583 hasRelatedWork W1999143388 @default.
• W1503075583 hasRelatedWork W2018957484 @default.
• W1503075583 hasRelatedWork W2072037414 @default.
• W1503075583 hasRelatedWork W2073214104 @default.
• W1503075583 hasRelatedWork W2090698824 @default.
• W1503075583 hasRelatedWork W2093385418 @default.
• W1503075583 hasRelatedWork W2344831154 @default.
• W1503075583 isParatext "false" @default.
• W1503075583 isRetracted "false" @default.
• W1503075583 magId "1503075583" @default.
• W1503075583 workType "book" @default.