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.
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / / John W. Gray and Andre Scedrov, editors
| Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / / John W. Gray and Andre Scedrov, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1989] |
| Descrizione fisica | 1 online resource (394 p.) |
| Disciplina | 004/.01/5 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Computer science - Mathematics
Categories (Mathematics) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-8218-7680-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Preface""; ""Models of Horn theories""; ""Geometric invariance of existential fixed-point logic""; ""On the decidability of objects in a locos""; ""The Dialectica categories""; ""Combinators""; ""Polynat in per""; ""Towards a geometry of interaction""; ""The category of sketches as a model for algebraic semantics""; ""The theory of constructions: Categorical semantics and topos-theoretic models""; ""Introduction""; ""1. The theory of constructions""; ""2. Categorical interpretation of type theories""; ""3. Lim theories""; ""4. Algebraic toposes""
""5. Localic algebraic toposes""""References""; ""A simple model of the theory of constructions""; ""Multicategories revisited""; ""An application of minimal context-free intersection partitions to rewrite rule consistency checking""; ""Qualitative distinctions between some toposes of generalized graphs""; ""Typed lambda models and cartesian closed categories""; ""Some connections between models of computation""; ""Some applications of categorical model theory""; ""Coherence for bicategories with finite Bilimits I""; ""On partial Cartesian closed categories""; ""Normalization revisited"" ""Linear logic, *-autonomous categories and cofree coalgebras"" |
| Record Nr. | UNINA-9910480255503321 |
| Providence, Rhode Island : , : American Mathematical Society, , [1989] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / / John W. Gray and Andre Scedrov, editors
| Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / / John W. Gray and Andre Scedrov, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1989] |
| Descrizione fisica | 1 online resource (394 p.) |
| Disciplina | 004/.01/5 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Computer science - Mathematics
Categories (Mathematics) |
| ISBN | 0-8218-7680-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Preface""; ""Models of Horn theories""; ""Geometric invariance of existential fixed-point logic""; ""On the decidability of objects in a locos""; ""The Dialectica categories""; ""Combinators""; ""Polynat in per""; ""Towards a geometry of interaction""; ""The category of sketches as a model for algebraic semantics""; ""The theory of constructions: Categorical semantics and topos-theoretic models""; ""Introduction""; ""1. The theory of constructions""; ""2. Categorical interpretation of type theories""; ""3. Lim theories""; ""4. Algebraic toposes""
""5. Localic algebraic toposes""""References""; ""A simple model of the theory of constructions""; ""Multicategories revisited""; ""An application of minimal context-free intersection partitions to rewrite rule consistency checking""; ""Qualitative distinctions between some toposes of generalized graphs""; ""Typed lambda models and cartesian closed categories""; ""Some connections between models of computation""; ""Some applications of categorical model theory""; ""Coherence for bicategories with finite Bilimits I""; ""On partial Cartesian closed categories""; ""Normalization revisited"" ""Linear logic, *-autonomous categories and cofree coalgebras"" |
| Record Nr. | UNINA-9910788788403321 |
| Providence, Rhode Island : , : American Mathematical Society, , [1989] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / / John W. Gray and Andre Scedrov, editors
| Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation / / John W. Gray and Andre Scedrov, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1989] |
| Descrizione fisica | 1 online resource (394 p.) |
| Disciplina | 004/.01/5 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Computer science - Mathematics
Categories (Mathematics) |
| ISBN | 0-8218-7680-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Preface""; ""Models of Horn theories""; ""Geometric invariance of existential fixed-point logic""; ""On the decidability of objects in a locos""; ""The Dialectica categories""; ""Combinators""; ""Polynat in per""; ""Towards a geometry of interaction""; ""The category of sketches as a model for algebraic semantics""; ""The theory of constructions: Categorical semantics and topos-theoretic models""; ""Introduction""; ""1. The theory of constructions""; ""2. Categorical interpretation of type theories""; ""3. Lim theories""; ""4. Algebraic toposes""
""5. Localic algebraic toposes""""References""; ""A simple model of the theory of constructions""; ""Multicategories revisited""; ""An application of minimal context-free intersection partitions to rewrite rule consistency checking""; ""Qualitative distinctions between some toposes of generalized graphs""; ""Typed lambda models and cartesian closed categories""; ""Some connections between models of computation""; ""Some applications of categorical model theory""; ""Coherence for bicategories with finite Bilimits I""; ""On partial Cartesian closed categories""; ""Normalization revisited"" ""Linear logic, *-autonomous categories and cofree coalgebras"" |
| Record Nr. | UNINA-9910828938603321 |
| Providence, Rhode Island : , : American Mathematical Society, , [1989] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Freyd's models for the independence of the axiom of choice / / Andreas Blass and Andre Scedrov
| Freyd's models for the independence of the axiom of choice / / Andreas Blass and Andre Scedrov |
| Autore | Blass Andreas <1947-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1989 |
| Descrizione fisica | 1 online resource (146 p.) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Axiom of choice
Toposes Forcing (Model theory) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0824-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Introduction""; ""1. Permutation Models""; ""2. Forcing and Boolean-Valued Models""; ""3. Topoi""; ""4. Models Represented by Boolean Topoi""; ""5. Freyd's Models""; ""6. Freyd's First Example""; ""7. Freyd's Second Example""; ""References"" |
| Record Nr. | UNINA-9910480743103321 |
Blass Andreas <1947->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Freyd's models for the independence of the axiom of choice / / Andreas Blass and Andre Scedrov
| Freyd's models for the independence of the axiom of choice / / Andreas Blass and Andre Scedrov |
| Autore | Blass Andreas <1947-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1989 |
| Descrizione fisica | 1 online resource (146 p.) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Axiom of choice
Toposes Forcing (Model theory) |
| ISBN | 1-4704-0824-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Introduction""; ""1. Permutation Models""; ""2. Forcing and Boolean-Valued Models""; ""3. Topoi""; ""4. Models Represented by Boolean Topoi""; ""5. Freyd's Models""; ""6. Freyd's First Example""; ""7. Freyd's Second Example""; ""References"" |
| Record Nr. | UNINA-9910788871603321 |
|
Blass Andreas <1947->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Freyd's models for the independence of the axiom of choice / / Andreas Blass and Andre Scedrov
| Freyd's models for the independence of the axiom of choice / / Andreas Blass and Andre Scedrov |
| Autore | Blass Andreas <1947-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1989 |
| Descrizione fisica | 1 online resource (146 p.) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Axiom of choice
Toposes Forcing (Model theory) |
| ISBN | 1-4704-0824-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Introduction""; ""1. Permutation Models""; ""2. Forcing and Boolean-Valued Models""; ""3. Topoi""; ""4. Models Represented by Boolean Topoi""; ""5. Freyd's Models""; ""6. Freyd's First Example""; ""7. Freyd's Second Example""; ""References"" |
| Record Nr. | UNINA-9910812428503321 |
|
Blass Andreas <1947->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / / Helle Hvid Hansen, Andre Scedrov, and Ruy J. G. B. de Queiroz, editors
| Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / / Helle Hvid Hansen, Andre Scedrov, and Ruy J. G. B. de Queiroz, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (419 pages) |
| Disciplina | 401 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Language and logic
Logic, Symbolic and mathematical |
| ISBN | 3-031-39784-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Learning Context-Free Grammars from Positive Data and Membership Queries -- The Web Still Needs Logic and Reasoning: A Short Introduction to SHACL for Logicians -- From Gödel’s Incompleteness Theorem to the completeness of bot beliefs -- Quantitative Global Memory -- Effective Skolemization -- Factive Complements are not Always Unique Entities: A Case Study with Bangla 'remember' -- Two-layered logics for paraconsistent probabilities -- An Axiom System for Hybrid Logic with Propositional Quantifiers -- An Evidence Logic Perspective on Schotch-Jennings Forcing -- A separation logic with histories of epistemic actions as resources -- Conditional Obligations in Justification Logic -- Structural Completeness and Superintuitionistic Inquisitive Logics -- Validity in Choice Logics - A Game-theoretic Investigation -- Aleatoric Propositions: Reasoning about Coins -- Towards an induction principle for nested data types -- A principled approach to Expectation Maximisation and Latent Dirichlet Allocation using Jeffrey's update rule -- Parameterized Complexity of Propositional Inclusion and Independence Logic -- Parallelism in Realizability Models -- Bisimulations between Verbrugge models and Veltman models -- Focus-style proofs for the two-way alternation-free $\mu$-calculus -- Relevant Reasoning and Implicit Beliefs -- Decidability of modal logics of non-k-colorable graphs -- Subsumption-Linear Q-Resolution for QBF Theorem Proving -- Maximally Multi-Focused Proofs for Skew Non-Commutative MILL. |
| Record Nr. | UNISA-996546849603316 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / / Helle Hvid Hansen, Andre Scedrov, and Ruy J. G. B. de Queiroz, editors
| Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings / / Helle Hvid Hansen, Andre Scedrov, and Ruy J. G. B. de Queiroz, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (419 pages) |
| Disciplina | 401 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Language and logic
Logic, Symbolic and mathematical |
| ISBN | 3-031-39784-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Learning Context-Free Grammars from Positive Data and Membership Queries -- The Web Still Needs Logic and Reasoning: A Short Introduction to SHACL for Logicians -- From Gödel’s Incompleteness Theorem to the completeness of bot beliefs -- Quantitative Global Memory -- Effective Skolemization -- Factive Complements are not Always Unique Entities: A Case Study with Bangla 'remember' -- Two-layered logics for paraconsistent probabilities -- An Axiom System for Hybrid Logic with Propositional Quantifiers -- An Evidence Logic Perspective on Schotch-Jennings Forcing -- A separation logic with histories of epistemic actions as resources -- Conditional Obligations in Justification Logic -- Structural Completeness and Superintuitionistic Inquisitive Logics -- Validity in Choice Logics - A Game-theoretic Investigation -- Aleatoric Propositions: Reasoning about Coins -- Towards an induction principle for nested data types -- A principled approach to Expectation Maximisation and Latent Dirichlet Allocation using Jeffrey's update rule -- Parameterized Complexity of Propositional Inclusion and Independence Logic -- Parallelism in Realizability Models -- Bisimulations between Verbrugge models and Veltman models -- Focus-style proofs for the two-way alternation-free $\mu$-calculus -- Relevant Reasoning and Implicit Beliefs -- Decidability of modal logics of non-k-colorable graphs -- Subsumption-Linear Q-Resolution for QBF Theorem Proving -- Maximally Multi-Focused Proofs for Skew Non-Commutative MILL. |
| Record Nr. | UNINA-9910742492503321 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||