Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions / / Toshiyasu Arai [and four others], editors |
Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (232 pages) |
Disciplina | 511.3 |
Collana | Springer Proceedings in Mathematics and Statistics |
Soggetto topico |
Logic, Symbolic and mathematical
Lògica matemàtica |
Soggetto genere / forma |
Congressos
Llibres electrònics |
ISBN | 981-16-4173-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910523006803321 |
Singapore : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in mathematical logic : dedicated to the memory of professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, selected, revised contributions / / Toshiyasu Arai [and four others], editors |
Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (232 pages) |
Disciplina | 511.3 |
Collana | Springer Proceedings in Mathematics and Statistics |
Soggetto topico |
Logic, Symbolic and mathematical
Lògica matemàtica |
Soggetto genere / forma |
Congressos
Llibres electrònics |
ISBN | 981-16-4173-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466551103316 |
Singapore : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
The congruences of a finite lattice : a proof-by-picture approach / / George Grätzer |
Autore | Gratzer George A. |
Edizione | [3rd ed. 2023.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer International Publishing, , [2023] |
Descrizione fisica | 1 online resource (440 pages) |
Disciplina | 160 |
Soggetto topico |
Logic, Symbolic and mathematical
Logic, Symbolic and mathematical - Graphic methods Teoria dels reticles Àlgebra Estructures algebraiques ordenades Lògica matemàtica |
Soggetto genere / forma | Llibres electrònics |
ISBN |
9783031290633
9783031290626 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: A Brief Introduction to Lattices -- Basic Concepts -- Special Concepts -- Congruences -- Planar Semimodular Lattices -- Part II: Some Special Techniques -- Chopped Lattices -- Boolean Triples -- Cube Extensions -- Part III: RTs -- Sectionally Complemented RT -- Minimal RT -- Semimodular RT -- Rectangular RT -- Modular RT -- Uniform RT -- Part IV: ETs -- Sectionally Complemented ET -- Semimodular ET -- Isoform ET -- Magic Wands -- Part V: Congruence Lattices of Two Related Lattices -- Sublattices -- Ideals -- Two Convex Sublattices -- Tensor Extensions -- Part VI: The Ordered Set of Principle Congruences -- The RT for Principal Congruences -- Minimal RTs -- Principal Congruence Representable Sets -- Isotone Maps -- Part VII: The Prime-Projectivity Lemma -- The Swing Lemma -- Fork Congruences -- Part VIII: The Six Congruence Properties of SPS Lattices -- Six Major Properties. |
Record Nr. | UNINA-9910683352303321 |
Gratzer George A.
![]() |
||
Cham, Switzerland : , : Springer International Publishing, , [2023] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Founding mathematics on semantic conventions / / Casper Storm Hansen |
Autore | Hansen Casper Storm |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (259 pages) |
Disciplina | 510.1 |
Collana | Synthese Library |
Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical Semantics (Philosophy) Filosofia de la matemàtica Lògica matemàtica |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-88534-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Founding Mathematics on Semantic Conventions -- Preface -- Contents -- 1 Introduction -- 1.1 Overview and Guide to Partial Reading -- 2 Classical Mathematics and Plenitudinous Combinatorialism -- 2.1 Large Cardinal Axioms and Theorems of Arithmetic -- 2.2 Transfinite Ordinals -- 2.3 Transfinite Cardinals -- 2.4 The Continuum Hypothesis -- 3 Intuitionism and Choice Sequences -- 3.1 General Introduction -- 3.2 Brouwer on Freely Proceeding Choice Sequences -- 3.3 Constitution of Free Choice Sequences -- 3.4 Evaluation of Brouwer's Claim -- 3.5 Verificationism and Intuitionistic Logic -- 4 From Logicism to Predicativism -- 4.1 Frege -- 4.2 Russell -- 4.3 Weyl -- 4.4 Weyl's Failure to Include All Real Numbers -- 5 Conventional Truth -- 5.1 The Obvious Solution to the Liar Paradox -- 5.2 Conventional Truth Conditions -- 5.3 The Dogma -- 5.4 Possible Language Conventions -- 5.5 T-schemas and Expressive Strength -- 5.6 Dialectical Situation -- 5.7 The View from Nowhere -- 5.8 Comparison with Chihara's Position -- 5.9 Revenge -- 6 Semantic Conventionalism for Mathematics -- 6.1 Needs Assessment -- 6.2 Simple Arithmetic as a Conventional Language -- 6.3 Quine's Anti-Conventionalism -- 6.4 Rule-Following -- 6.5 Choice of Logic -- 7 A Convention for a Type-free Language -- 7.1 The Kripke Convention and Its Shortcomings -- 7.2 Reformulating the Kripke Convention -- 7.2.1 Collapsing Truth and Satisfaction of View-From-Nowhere Truth Conditions -- 7.2.2 Kleenification -- 7.2.3 Kripke Recursion -- 7.3 Adding a Conditional with Supervaluational Semantics -- 7.3.1 Supervaluation over All Possibilities -- 7.3.2 View-From-Nowhere Truth Conditions for the Strong Conditional -- 7.3.3 If the Supervaluation Criterion is Not Satisfied -- 7.3.4 Ensuring Quantification over All Possibilities in the Presence of Supervaluation.
7.3.5 Iteration of the Strong Conditional -- 7.3.6 Summary -- 7.4 Denoting Terms for Applied Mathematics -- 7.5 Meta-Theorems -- 8 Basic Mathematics -- 8.1 Logic -- 8.2 Natural Numbers -- 8.3 Integers -- 8.4 Rational Numbers -- 8.5 Classicality So Far -- 8.6 Classes -- 8.7 An Example of Applied Mathematics -- 9 Real Analysis -- 9.1 Functions -- 9.2 Real Numbers -- 9.3 Exponentiation -- 9.4 Completeness -- 9.5 Suprema, Infima, and Roots -- 9.6 Continuity -- 9.7 Operations on Functions -- 9.8 Differentiation -- 9.8.1 Calculating Derivatives -- 9.8.2 Uniform Differentiability -- 9.9 Integration -- 9.10 Unbounded Intervals and Piecewise Continuity -- 9.11 Completifications of Functions Generalized -- 9.12 Another Example of Applied Mathematics -- 9.13 Diagonalization -- 10 Possibility -- 10.1 All Possible Real Numbers -- 10.2 Modal Metaphysics -- 10.3 Conclusion -- References -- Index of Symbols -- General Index. |
Record Nr. | UNISA-996466402303316 |
Hansen Casper Storm
![]() |
||
Cham, Switzerland : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Founding mathematics on semantic conventions / / Casper Storm Hansen |
Autore | Hansen Casper Storm |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (259 pages) |
Disciplina | 510.1 |
Collana | Synthese Library |
Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical Semantics (Philosophy) Filosofia de la matemàtica Lògica matemàtica |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-88534-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Founding Mathematics on Semantic Conventions -- Preface -- Contents -- 1 Introduction -- 1.1 Overview and Guide to Partial Reading -- 2 Classical Mathematics and Plenitudinous Combinatorialism -- 2.1 Large Cardinal Axioms and Theorems of Arithmetic -- 2.2 Transfinite Ordinals -- 2.3 Transfinite Cardinals -- 2.4 The Continuum Hypothesis -- 3 Intuitionism and Choice Sequences -- 3.1 General Introduction -- 3.2 Brouwer on Freely Proceeding Choice Sequences -- 3.3 Constitution of Free Choice Sequences -- 3.4 Evaluation of Brouwer's Claim -- 3.5 Verificationism and Intuitionistic Logic -- 4 From Logicism to Predicativism -- 4.1 Frege -- 4.2 Russell -- 4.3 Weyl -- 4.4 Weyl's Failure to Include All Real Numbers -- 5 Conventional Truth -- 5.1 The Obvious Solution to the Liar Paradox -- 5.2 Conventional Truth Conditions -- 5.3 The Dogma -- 5.4 Possible Language Conventions -- 5.5 T-schemas and Expressive Strength -- 5.6 Dialectical Situation -- 5.7 The View from Nowhere -- 5.8 Comparison with Chihara's Position -- 5.9 Revenge -- 6 Semantic Conventionalism for Mathematics -- 6.1 Needs Assessment -- 6.2 Simple Arithmetic as a Conventional Language -- 6.3 Quine's Anti-Conventionalism -- 6.4 Rule-Following -- 6.5 Choice of Logic -- 7 A Convention for a Type-free Language -- 7.1 The Kripke Convention and Its Shortcomings -- 7.2 Reformulating the Kripke Convention -- 7.2.1 Collapsing Truth and Satisfaction of View-From-Nowhere Truth Conditions -- 7.2.2 Kleenification -- 7.2.3 Kripke Recursion -- 7.3 Adding a Conditional with Supervaluational Semantics -- 7.3.1 Supervaluation over All Possibilities -- 7.3.2 View-From-Nowhere Truth Conditions for the Strong Conditional -- 7.3.3 If the Supervaluation Criterion is Not Satisfied -- 7.3.4 Ensuring Quantification over All Possibilities in the Presence of Supervaluation.
7.3.5 Iteration of the Strong Conditional -- 7.3.6 Summary -- 7.4 Denoting Terms for Applied Mathematics -- 7.5 Meta-Theorems -- 8 Basic Mathematics -- 8.1 Logic -- 8.2 Natural Numbers -- 8.3 Integers -- 8.4 Rational Numbers -- 8.5 Classicality So Far -- 8.6 Classes -- 8.7 An Example of Applied Mathematics -- 9 Real Analysis -- 9.1 Functions -- 9.2 Real Numbers -- 9.3 Exponentiation -- 9.4 Completeness -- 9.5 Suprema, Infima, and Roots -- 9.6 Continuity -- 9.7 Operations on Functions -- 9.8 Differentiation -- 9.8.1 Calculating Derivatives -- 9.8.2 Uniform Differentiability -- 9.9 Integration -- 9.10 Unbounded Intervals and Piecewise Continuity -- 9.11 Completifications of Functions Generalized -- 9.12 Another Example of Applied Mathematics -- 9.13 Diagonalization -- 10 Possibility -- 10.1 All Possible Real Numbers -- 10.2 Modal Metaphysics -- 10.3 Conclusion -- References -- Index of Symbols -- General Index. |
Record Nr. | UNINA-9910508469503321 |
Hansen Casper Storm
![]() |
||
Cham, Switzerland : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Inquisitive Logic [[electronic resource] ] : Consequence and Inference in the Realm of Questions / / by Ivano Ciardelli |
Autore | Ciardelli Ivano |
Edizione | [1st ed. 2022.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
Descrizione fisica | 1 online resource (XX, 272 p. 53 illus., 3 illus. in color.) |
Disciplina | 160 |
Collana | Trends in Logic, Studia Logica Library |
Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Foundations Lògica matemàtica Inferència |
Soggetto genere / forma | Llibres electrònics |
ISBN | 9783031097065 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction -- 2. On the role of questions in logic -- 3. Questions in propositional logic -- 4. Reasoning with questions -- 5. Questions in first-order logic -- 6. Questions in modal logic -- 7. Connections with intuitionistic logic -- 8. Connections with dependence logic -- 9. Conclusion. |
Record Nr. | UNISA-996518463503316 |
Ciardelli Ivano
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Inquisitive Logic [[electronic resource] ] : Consequence and Inference in the Realm of Questions / / by Ivano Ciardelli |
Autore | Ciardelli Ivano |
Edizione | [1st ed. 2022.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
Descrizione fisica | 1 online resource (XX, 272 p. 53 illus., 3 illus. in color.) |
Disciplina | 160 |
Collana | Trends in Logic, Studia Logica Library |
Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Foundations Lògica matemàtica Inferència |
Soggetto genere / forma | Llibres electrònics |
ISBN | 9783031097065 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction -- 2. On the role of questions in logic -- 3. Questions in propositional logic -- 4. Reasoning with questions -- 5. Questions in first-order logic -- 6. Questions in modal logic -- 7. Connections with intuitionistic logic -- 8. Connections with dependence logic -- 9. Conclusion. |
Record Nr. | UNINA-9910676686503321 |
Ciardelli Ivano
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Kurt Gödel: Results on Foundations [[electronic resource] /] / edited by Maria Hämeen-Anttila, Jan von Plato |
Autore | Hämeen-Anttila Maria |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (327 pages) |
Disciplina | 510.9 |
Altri autori (Persone) | von PlatoJan |
Collana | Sources and Studies in the History of Mathematics and Physical Sciences |
Soggetto topico |
Mathematics
History Mathematical logic History of Mathematical Sciences Mathematical Logic and Foundations Lògica matemàtica |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-031-37875-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Part I. Gödel's Results on Foundations -- Part II. Resultats on Foundations -- Part III. Additional Items and Problem Lists -- Index of names in the Resultate Grundlagen. |
Record Nr. | UNINA-9910734876203321 |
Hämeen-Anttila Maria
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic Functions and Equations [[electronic resource] ] : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff |
Autore | Steinbach Bernd |
Edizione | [3rd ed. 2022.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
Descrizione fisica | 1 online resource (818 pages) |
Disciplina | 511.324 |
Soggetto topico |
Electronic circuits
Logic design Computer science - Mathematics Discrete mathematics Electronic Circuits and Systems Logic Design Discrete Mathematics in Computer Science Àlgebra de Boole Lògica matemàtica Teoria de màquines |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-88945-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index. |
Record Nr. | UNISA-996479368403316 |
Steinbach Bernd
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic Functions and Equations [[electronic resource] ] : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff |
Autore | Steinbach Bernd |
Edizione | [3rd ed. 2022.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
Descrizione fisica | 1 online resource (818 pages) |
Disciplina | 511.324 |
Soggetto topico |
Electronic circuits
Logic design Computer science - Mathematics Discrete mathematics Electronic Circuits and Systems Logic Design Discrete Mathematics in Computer Science Àlgebra de Boole Lògica matemàtica Teoria de màquines |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-88945-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index. |
Record Nr. | UNINA-9910574861303321 |
Steinbach Bernd
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|