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.
Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / / edited by Kirstin Peters, Tim A. C. Willemse
| Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / / edited by Kirstin Peters, Tim A. C. Willemse |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XII, 245 p. 73 illus., 34 illus. in color.) |
| Disciplina | 004.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Artificial intelligence Computer science - Mathematics Computer networks Computers, Special purpose Mathematical logic Software Engineering Artificial Intelligence Mathematics of Computing Computer Communication Networks Special Purpose and Application-Based Systems General Logic |
| ISBN | 3-030-78089-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Bidirectional Runtime Enforcement -- A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks -- A Formalisation of SysML State Machines in mCRL2 -- How Adaptive and Reliable is your Program -- Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves -- Prioritise the Best Variation -- Introduction and Preservation Analysis of Refinement Relations in CCSL -- A Case Study on Parametric Verification of Failure Detectors -- π with Leftovers: a Mechanisation in Agda -- Supervisory Synthesis of Configurable Behavioural Contracts with Modalities -- Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths -- Towards a Spatial Model Checker on GPU -- Formal verification of HotStuff -- Better Late than Never or: Verifying Asynchronous Components at Runtime -- Designing Distributed Software in mCRL2. |
| Record Nr. | UNINA-9910484294303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic - Language - Ontology : Selected Works / / by Urszula B. Wybraniec-Skardowska
| Logic - Language - Ontology : Selected Works / / by Urszula B. Wybraniec-Skardowska |
| Autore | Wybraniec-Skardowska Urszula |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2022 |
| Descrizione fisica | 1 online resource (305 pages) |
| Disciplina | 401 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical Logic Set theory Philosophy of Mathematics Mathematical Logic and Foundations Formal Logic Philosophical Logic General Logic Set Theory |
| ISBN |
9783031223303
9783031223297 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Introduction -- 1. The Dual Ontological Nature of Language Signs and the Problem of Their Mutual Relations -- 2 On the Structure and Contents of the Monograph -- Part II SelectedWorks -- 1. On the Type-Token Relationships -- 2. On the Axiomatic Systems of Syntactically-Categorial Languages -- 3. The Logical Foundations of Language Syntax Ontology -- 4. On the Eliminatibility of Ideal Linguistic Entities -- 5. Meaning and Interpretation. Part I -- 6. Meaning and Interpretation. Part II -- 7. Three Principles of Compositionality -- 8. On Meta-knowledge and Truth -- 9. On Language Adequacy -- 10. What Is the Sense in Logic and Philosophy of Language? -- 11. Categories of First-Order Quantifiers -- 12. Logic and the Ontology of Language -- 13. A Logical Conceptualization of Knowledge on the Notion of Language Communication. |
| Record Nr. | UNINA-9910633937003321 |
Wybraniec-Skardowska Urszula
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic in Computer Science / / by Hantao Zhang, Jian Zhang
| Logic in Computer Science / / by Hantao Zhang, Jian Zhang |
| Autore | Zhang H (Hantao) |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (808 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | ZhangJian |
| Soggetto topico |
Computer science
Logic, Symbolic and mathematical Computer science - Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming General Logic Discrete Mathematics in Computer Science |
| ISBN |
9789819798162
9819798167 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction to Logic -- Part I. Propositional Logic -- Chapter 2. Propositional Logic -- Chapter 3. Reasoning in Propositional Logic -- Chapter 4. Propositional Satisfiability -- Part II. First-Order Logic -- Chapter 5. First-Order Logic -- Chapter 6. Unification and Resolution -- Chapter 7. First-Order Logic with Equality -- Part III. Logic in Programming -- Chapter 8. Prolog: Programming in Logic -- Chapter 9. Hoare Logic -- Chapter 10. Temporal Logic -- Part IV. Logic of Computability -- Chapter 11. Decidable and Undecidable Problems -- Chapter 12. Decision Procedures. |
| Record Nr. | UNINA-9910983369403321 |
|
Zhang H (Hantao)
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Russell, Gödel, Tarski : Selected Papers on the Philosophy of Logic and Mathematics / / by Francisco Rodríguez-Consuegra
| Russell, Gödel, Tarski : Selected Papers on the Philosophy of Logic and Mathematics / / by Francisco Rodríguez-Consuegra |
| Autore | Rodríguez-Consuegra Francisco |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 |
| Descrizione fisica | 1 online resource (285 pages) |
| Disciplina | 511.3 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Logic Mathematics - Philosophy General Logic Mathematical Logic and Foundations Mathematical Logic in Philosophy Philosophical Logic Philosophy of Mathematics |
| ISBN |
9783032089458
9783032089441 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Russell's theory of types, 1901-1910 -- A global viewpoint on Russell's philosophy -- Gödel's first works, 1929-1936: mathematics without philosophy -- Russell, Gödel and logicism -- Gödel's last works, 1938-1974: the emerging philosophy -- Gödel's unpublished manuscripts, 1930-1970: the official edition -- Definitions and logical consequence in the Peano School -- A droll mix of profundity and otherworldliness -- Philosophy in Hao Wang's conversations with Gödel -- Propositional ontology and logical atomism -- Tarski's intuitive notion of set -- From Logic to Philosophy. |
| Record Nr. | UNINA-9911040911503321 |
|
Rodríguez-Consuegra Francisco
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Universal Logic, Ethics, and Truth : Essays in Honor of John Corcoran (1937-2021) / / edited by Timothy J. Madigan, Jean-Yves Béziau
| Universal Logic, Ethics, and Truth : Essays in Honor of John Corcoran (1937-2021) / / edited by Timothy J. Madigan, Jean-Yves Béziau |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2024 |
| Descrizione fisica | 1 online resource (296 pages) |
| Disciplina | 511.3 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematics History Logic General Logic History of Mathematical Sciences Formal Logic Philosophical Logic |
| ISBN | 3-031-44461-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Table of Contents -- Introduction: John Corcoran as a Teacher and Mentor,Timothy Madigan -- Chapter 1. Hugh MacColl and Christine Ladd-Franklin: 1877-1909, Francine Abeles -- Chapter 2. Ex-Incompatibilitas Sequitur Quodlibet, Jean-Yves Beziau -- Chapter 3. Al-Farabi on Existential Import, Empty terms and Category Mistakes, Saloua Chatti -- Chapter 4. Argumentation and Logic, Manuel Correia -- Chapter 5. Universal Logic and Orbital Relativism, Alexandre Costa-Leite -- Chapter 6. Aristotle's Ontology of Time, Tatyana Yu. Denisova -- Chapter 7. Logical Hylomorphism Revisited: Aristotle, Tarski, and Corcoran, Elena Dragalina-Chernaya -- Chapter 8. Morality, Ethics and Wisdom: Remarks on Applications of Logic, Katarzyna Gan-Krzywoszyńska -- Chapter 9. On Polish Rationalisms, Piotr Leśniewski -- Chapter 10. Scientific Hypotheses and Modeling, Juan Redmond and Rodrigo López-Orellana -- Chapter 11. My Personal Memories of John Corcoran, Francisco Rodríguez-Consuegra -- Chapter 12. The Philosophy of Logic of John Corcoran, José Miguel Sagüillo -- Chapter 13. Mixed Political Inferences, Fabien Schang -- Chapter 14. Corcoran the Mathematician, Steward Shapiro -- Chapter 15. On a Possible Relation Between Greek Mathematics and Eleatic Philosophy, Iannis M. Vandoulakis -- Chapter 16. Sentences, Propositions and Truth-Bearers. Polish Tradition, Jan Wolenski -- Chapter 17. An Essay in matrix semantics for consequences relations, Jan Zygmunt. |
| Record Nr. | UNINA-9910857791603321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Birkhäuser, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
