Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logics of variable inclusion / / Stefano Bonzio, Francesco Paoli and Michele Pra Baldi
| Logics of variable inclusion / / Stefano Bonzio, Francesco Paoli and Michele Pra Baldi |
| Autore | Bonzio Stefano |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
| Descrizione fisica | 1 online resource (227 pages) |
| Disciplina | 511.324 |
| Collana | Trends in logic |
| Soggetto topico |
Algebraic logic
Lògica algebraica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-04297-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996479371703316 |
Bonzio Stefano
|
||
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics of variable inclusion / / Stefano Bonzio, Francesco Paoli and Michele Pra Baldi
| Logics of variable inclusion / / Stefano Bonzio, Francesco Paoli and Michele Pra Baldi |
| Autore | Bonzio Stefano |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
| Descrizione fisica | 1 online resource (227 pages) |
| Disciplina | 511.324 |
| Collana | Trends in logic |
| Soggetto topico |
Algebraic logic
Lògica algebraica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-04297-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910741198403321 |
|
Bonzio Stefano
|
||
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Relational and Algebraic Methods in Computer Science [[electronic resource] ] : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / / edited by Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter
| Relational and Algebraic Methods in Computer Science [[electronic resource] ] : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / / edited by Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (515 pages) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Logic programming
Computer science—Mathematics Computer science Mathematical logic Logic in AI Mathematics of Computing Theory of Computation Mathematical Logic and Foundations Lògica algebraica Informàtica |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-88701-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Unary-determined distributive l-magmas and bunched implication algebras -- Effect Algebras, Girard Quantales and Complementation in Separation Logic -- Relational Computation of Sets of Relations -- Experimental Investigation of Su cient Criteria for Relations to Have Kernels -- lr-Multisemigroups, Modal Quantales and the Origin of Locality -- Abstract Strategies and Coherence -- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm PEARL -- The class of representable semilattice-ordered monoids is not a variety -- Accretive Computation of Global Transformations -- Some modal and temporal translations of generalized basic logic -- Isolated Sublattices and their Application to Counting Closure Operators -- Second-Order Properties of Undirected Graphs -- Relation-algebraic Verification of Bor uvka's Minimum Spanning Tree Algorithm -- Deciding FO-definability of Regular Languages -- Relational Models for the Lambek calculus with Intersection and Unit -- Free Modal Riesz Spaces are Archimedean: a Syntactic Proof -- Polyadic spaces and profinite monoids -- Time Warps, from Algebra to Algorithms -- On Algebra of Program Correctness and Incorrectness -- Computing Least and Greatest Fixed Points in Absorptive Semirings -- A Variety Theorem for Relational Universal Algebra. -On Tools for Completeness of Kleene Algebra with Hypotheses. -Skew metrics valued in Sugihara semigroups -- Computing Aggregated Knowledge as the Greatest Lower Bound of Knowledge -- Relational Sums and Splittings in Categories of L-fuzzy Relations -- Change of Base using Arrow Categories -- Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving -- Domain Range Semigroups and Finite Representations. |
| Record Nr. | UNISA-996464411603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Relational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / / edited by Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter
| Relational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / / edited by Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (515 pages) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Logic programming
Computer science—Mathematics Computer science Mathematical logic Logic in AI Mathematics of Computing Theory of Computation Mathematical Logic and Foundations Lògica algebraica Informàtica |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-88701-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Unary-determined distributive l-magmas and bunched implication algebras -- Effect Algebras, Girard Quantales and Complementation in Separation Logic -- Relational Computation of Sets of Relations -- Experimental Investigation of Su cient Criteria for Relations to Have Kernels -- lr-Multisemigroups, Modal Quantales and the Origin of Locality -- Abstract Strategies and Coherence -- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm PEARL -- The class of representable semilattice-ordered monoids is not a variety -- Accretive Computation of Global Transformations -- Some modal and temporal translations of generalized basic logic -- Isolated Sublattices and their Application to Counting Closure Operators -- Second-Order Properties of Undirected Graphs -- Relation-algebraic Verification of Bor uvka's Minimum Spanning Tree Algorithm -- Deciding FO-definability of Regular Languages -- Relational Models for the Lambek calculus with Intersection and Unit -- Free Modal Riesz Spaces are Archimedean: a Syntactic Proof -- Polyadic spaces and profinite monoids -- Time Warps, from Algebra to Algorithms -- On Algebra of Program Correctness and Incorrectness -- Computing Least and Greatest Fixed Points in Absorptive Semirings -- A Variety Theorem for Relational Universal Algebra. -On Tools for Completeness of Kleene Algebra with Hypotheses. -Skew metrics valued in Sugihara semigroups -- Computing Aggregated Knowledge as the Greatest Lower Bound of Knowledge -- Relational Sums and Splittings in Categories of L-fuzzy Relations -- Change of Base using Arrow Categories -- Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving -- Domain Range Semigroups and Finite Representations. |
| Record Nr. | UNINA-9910506385903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Universal algebraic logic : dedicated to the unity of science / / Hajnal Andréka, [and three others]
| Universal algebraic logic : dedicated to the unity of science / / Hajnal Andréka, [and three others] |
| Autore | Andréka H. |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (337 pages) |
| Disciplina | 069 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Algebraic logic
Lògica algebraica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-14887-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Acknowledgement -- Contents -- Chapter 1 Notation, Elementary Concepts -- 1.1 Sets, classes, tuples, simple operations on sets -- 1.2 Binary relations, equivalence relations, functions -- 1.3 Orderings, ordinals, cardinals -- 1.4 Sequences -- 1.5 Direct product of families of sets -- 1.6 Relations of higher ranks -- 1.7 Closure systems -- 1.8 First{order logic (FOL) -- Chapter 2 Basics from Universal Algebra -- 2.1 Examples for algebras -- 2.2 Building new algebras from old ones (operations on algebras) -- 2.2.1 Subalgebra -- 2.2.2 Homomorphic image -- 2.2.3 A distinguished example: Lattices -- 2.2.4 Congruence relation -- 2.2.5 Cartesian product, direct decomposition -- 2.2.6 Subdirect decomposition -- 2.2.7 Ultraproduct, reduced product -- 2.3 Categories -- 2.4 Variety characterization, quasi{variety characterization -- 2.5 Free algebras -- 2.6 Boolean Algebras -- 2.7 Discriminator varieties -- 2.8 Boolean Ordered Algebras (Boas), Boolean Algebras with Operators (BAOs) -- Chapter 3 General framework and algebraization -- 3.1 De ning the framework for studying logics -- 3.2 Concrete logics in the new framework -- 3.3 Algebraization -- 3.3.1 Having connectives, formula algebra -- 3.3.2 Compositionality, tautological formula algebra -- 3.3.3 Algebraic counterparts of a logic -- 3.3.4 Substitution properties -- 3.3.5 Filter property -- 3.3.6 General Logics -- 3.4 Connections with Abstract Algebraic Logic, Abstract Model Theory and Institutions -- Chapter 4 Bridge between logic and algebra -- 4.1 Algebraic characterization of compactness properties -- 4.2 Algebraic characterizations of completeness properties -- 4.2.1 Hilbert-type inference systems -- 4.2.2 Completeness and soundness -- 4.3 Algebraic characterization of definability properties -- 4.3.1 Syntactical Beth definability property -- 4.3.2 Beth definability property.
4.3.3 Local Beth definability property -- 4.3.4 Weak Beth definability property -- 4.4 Algebraic characterization of interpolation properties -- 4.4.1 Interpolation properties -- 4.4.2 Amalgamation and interpolation properties -- 4.5 Decidability -- 4.6 Gödel's incompleteness property -- Chapter 5 Applying the machinery: Examples -- 5.1 Classical propositional logic LC -- 5.2 Arrow logic LREL -- 5.3 Finite-variable fragments of first-order logic, with substituted atomic formulas, L'n -- 5.4 n-variable fragment Ln of first-order logic, for n ≤ ω -- 5.5 First-order logic with nonstandard semantics, Lan -- 5.6 Variable-dependent rst-order logic, Lnvd -- 5.7 First-order logic, ranked version, LFOLranked -- 5.8 First-order logic, rank-free (or type-less) version, LFOLrf -- Chapter 6 Generalizations and new kinds of logics -- 6.1 Generalizations -- 6.2 New kinds of logics -- Chapter 7 Appendix: Algebras of relations -- 7.1 Algebras of binary relations -- 7.2 Algebras of finitary relations -- 7.3 All finitary relations together -- Bibliography -- Index -- Index of symbols. |
| Record Nr. | UNISA-996499872403316 |
|
Andréka H.
|
||
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Universal algebraic logic : dedicated to the unity of science / / Hajnal Andréka, [and three others]
| Universal algebraic logic : dedicated to the unity of science / / Hajnal Andréka, [and three others] |
| Autore | Andréka H. |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (337 pages) |
| Disciplina | 069 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Algebraic logic
Lògica algebraica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-14887-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Acknowledgement -- Contents -- Chapter 1 Notation, Elementary Concepts -- 1.1 Sets, classes, tuples, simple operations on sets -- 1.2 Binary relations, equivalence relations, functions -- 1.3 Orderings, ordinals, cardinals -- 1.4 Sequences -- 1.5 Direct product of families of sets -- 1.6 Relations of higher ranks -- 1.7 Closure systems -- 1.8 First{order logic (FOL) -- Chapter 2 Basics from Universal Algebra -- 2.1 Examples for algebras -- 2.2 Building new algebras from old ones (operations on algebras) -- 2.2.1 Subalgebra -- 2.2.2 Homomorphic image -- 2.2.3 A distinguished example: Lattices -- 2.2.4 Congruence relation -- 2.2.5 Cartesian product, direct decomposition -- 2.2.6 Subdirect decomposition -- 2.2.7 Ultraproduct, reduced product -- 2.3 Categories -- 2.4 Variety characterization, quasi{variety characterization -- 2.5 Free algebras -- 2.6 Boolean Algebras -- 2.7 Discriminator varieties -- 2.8 Boolean Ordered Algebras (Boas), Boolean Algebras with Operators (BAOs) -- Chapter 3 General framework and algebraization -- 3.1 De ning the framework for studying logics -- 3.2 Concrete logics in the new framework -- 3.3 Algebraization -- 3.3.1 Having connectives, formula algebra -- 3.3.2 Compositionality, tautological formula algebra -- 3.3.3 Algebraic counterparts of a logic -- 3.3.4 Substitution properties -- 3.3.5 Filter property -- 3.3.6 General Logics -- 3.4 Connections with Abstract Algebraic Logic, Abstract Model Theory and Institutions -- Chapter 4 Bridge between logic and algebra -- 4.1 Algebraic characterization of compactness properties -- 4.2 Algebraic characterizations of completeness properties -- 4.2.1 Hilbert-type inference systems -- 4.2.2 Completeness and soundness -- 4.3 Algebraic characterization of definability properties -- 4.3.1 Syntactical Beth definability property -- 4.3.2 Beth definability property.
4.3.3 Local Beth definability property -- 4.3.4 Weak Beth definability property -- 4.4 Algebraic characterization of interpolation properties -- 4.4.1 Interpolation properties -- 4.4.2 Amalgamation and interpolation properties -- 4.5 Decidability -- 4.6 Gödel's incompleteness property -- Chapter 5 Applying the machinery: Examples -- 5.1 Classical propositional logic LC -- 5.2 Arrow logic LREL -- 5.3 Finite-variable fragments of first-order logic, with substituted atomic formulas, L'n -- 5.4 n-variable fragment Ln of first-order logic, for n ≤ ω -- 5.5 First-order logic with nonstandard semantics, Lan -- 5.6 Variable-dependent rst-order logic, Lnvd -- 5.7 First-order logic, ranked version, LFOLranked -- 5.8 First-order logic, rank-free (or type-less) version, LFOLrf -- Chapter 6 Generalizations and new kinds of logics -- 6.1 Generalizations -- 6.2 New kinds of logics -- Chapter 7 Appendix: Algebras of relations -- 7.1 Algebras of binary relations -- 7.2 Algebras of finitary relations -- 7.3 All finitary relations together -- Bibliography -- Index -- Index of symbols. |
| Record Nr. | UNINA-9910624311203321 |
|
Andréka H.
|
||
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
