### Resultado de la búsqueda

###
**5** búsqueda de la palabra clave **
'Arithmetic'**

Refinar búsqueda Generar rss de la búsqueda
Link de la búsqueda

Título : Function Algebras on Finite Sets : A Basic Course on Many-Valued Logic and Clone Theory Tipo de documento: documento electrónico Autores: Lau, Dietlinde ; SpringerLink (Online service) Editorial: Berlin, Heidelberg : Springer Berlin Heidelberg Fecha de publicación: 2006 Colección: Springer Monographs in Mathematics, ISSN 1439-7382 Número de páginas: XIV, 670 p Il.: online resource ISBN/ISSN/DL: 978-3-540-36023-0 Idioma : Inglés ( eng)Palabras clave: Mathematics Arithmetic and logic units, Computer Algebra Mathematical Logic Foundations Structures Clasificación: 51 Matemáticas Resumen: Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied. This book gives a broad introduction to the theory of function algebras and leads to the cutting edge of research. To familiarize the reader from the very beginning on with the algebraic side of function algebras the more general concepts of the Universal Algebra is given in the first part of the book. The second part on fuction algebras covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, clone theory. This book is an insdispensible source on function algebras for graduate students and researchers in mathematical logic and theoretical computer science Nota de contenido: Preliminaries -- Preliminaries -- Universal Algebra -- Basic Concepts of Universal Algebra -- Lattices -- Hull Systems and Closure Operators -- Homomorphisms, Congruences, and Galois Connections -- Direct and Subdirect Products -- Varieties, Equational Classes, and Free Algebras -- Function Algebras -- Basic Concepts, Notations, and First Properties -- The Galois-Connection Between Function- and Relation-Algebras -- The Subclasses of P2 -- The Subclasses of Pk Which Contain Pk1 -- The Maximal Classes of Pk -- Rosenberg’s Completeness Criterion for Pk -- Further Completeness Criteria -- Some Properties of the Lattice -- Congruences and Automorphisms on Function Algebras -- The Relation Degree and the Dimension of Subclasses of Pk -- On Generating Systems and Orders of the Subclasses of Pk -- Subclasses of Pk,2 -- Classes of Linear Functions -- Submaximal Classes of P3 -- Finite and Countably Infinite Sublattices of Depth 1 or 2 of -- The Maximal Classes of ?a?Q Polka for Q Ek -- Maximal Classes of PolkEl for 2 ? l En línea: http://dx.doi.org/10.1007/3-540-36023-9 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34991 Function Algebras on Finite Sets : A Basic Course on Many-Valued Logic and Clone Theory [documento electrónico] / Lau, Dietlinde ; SpringerLink (Online service) . - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 . - XIV, 670 p : online resource. - (Springer Monographs in Mathematics, ISSN 1439-7382) .ISBN: 978-3-540-36023-0

Idioma : Inglés (eng)

Palabras clave: Mathematics Arithmetic and logic units, Computer Algebra Mathematical Logic Foundations Structures Clasificación: 51 Matemáticas Resumen: Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied. This book gives a broad introduction to the theory of function algebras and leads to the cutting edge of research. To familiarize the reader from the very beginning on with the algebraic side of function algebras the more general concepts of the Universal Algebra is given in the first part of the book. The second part on fuction algebras covers the following topics: Galois-connection between function algebras and relation algebras, completeness criterions, clone theory. This book is an insdispensible source on function algebras for graduate students and researchers in mathematical logic and theoretical computer science Nota de contenido: Preliminaries -- Preliminaries -- Universal Algebra -- Basic Concepts of Universal Algebra -- Lattices -- Hull Systems and Closure Operators -- Homomorphisms, Congruences, and Galois Connections -- Direct and Subdirect Products -- Varieties, Equational Classes, and Free Algebras -- Function Algebras -- Basic Concepts, Notations, and First Properties -- The Galois-Connection Between Function- and Relation-Algebras -- The Subclasses of P2 -- The Subclasses of Pk Which Contain Pk1 -- The Maximal Classes of Pk -- Rosenberg’s Completeness Criterion for Pk -- Further Completeness Criteria -- Some Properties of the Lattice -- Congruences and Automorphisms on Function Algebras -- The Relation Degree and the Dimension of Subclasses of Pk -- On Generating Systems and Orders of the Subclasses of Pk -- Subclasses of Pk,2 -- Classes of Linear Functions -- Submaximal Classes of P3 -- Finite and Countably Infinite Sublattices of Depth 1 or 2 of -- The Maximal Classes of ?a?Q Polka for Q Ek -- Maximal Classes of PolkEl for 2 ? l En línea: http://dx.doi.org/10.1007/3-540-36023-9 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34991 ## Ejemplares

Signatura Medio Ubicación Sub-localización Sección Estado ningún ejemplar

Título : Logica Universalis : Towards a General Theory of Logic Tipo de documento: documento electrónico Autores: SpringerLink (Online service) ; Jean-Yves Béziau Editorial: Basel : Birkhäuser Basel Fecha de publicación: 2007 Número de páginas: XII, 246 p Il.: online resource ISBN/ISSN/DL: 978-3-7643-8354-1 Idioma : Inglés ( eng)Palabras clave: Mathematics Arithmetic and logic units, Computer Mathematical Logic Foundations Formal Languages Structures Clasificación: 51 Matemáticas Resumen: "I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons." Istvan Németi, Hungarian Academy of Sciences "Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach." J. Michael Dunn, Indiana University "Modern logic is exploding into manifold applications, and its core research agenda is expanding accordingly. Thus, it becomes of great importance to reflect and rethink the notion of a logical system, which has served us so well for a century now. This book contains timely, broad, and unifying reflections on logical systems and logical consequence, and helps us think where our discipline is going." Johan van Benthem, University of Amsterdam & Stanford University Nota de contenido: Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A Survey of General Abstract Logic -- Abstract Model Theory as a Framework for Universal Logic -- A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics -- Selfextensional Logics with Implication -- Logic without Self-Deductibility -- Identity and Nature of Logical Structures -- Equipollent Logical Systems -- What is a Logic? -- What is a Logic, and What is a Proof? -- Tools and Concepts for Universal Logic -- Non-deterministic Matrices and Modular Semantics of Rules -- Two’s Company: “The Humbug of Many Logical Values” -- Friendliness and Sympathy in Logic -- Logical Discrimination En línea: http://dx.doi.org/10.1007/978-3-7643-8354-1 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34711 Logica Universalis : Towards a General Theory of Logic [documento electrónico] / SpringerLink (Online service) ; Jean-Yves Béziau . - Basel : Birkhäuser Basel, 2007 . - XII, 246 p : online resource.ISBN: 978-3-7643-8354-1

Idioma : Inglés (eng)

Palabras clave: Mathematics Arithmetic and logic units, Computer Mathematical Logic Foundations Formal Languages Structures Clasificación: 51 Matemáticas Resumen: "I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons." Istvan Németi, Hungarian Academy of Sciences "Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach." J. Michael Dunn, Indiana University "Modern logic is exploding into manifold applications, and its core research agenda is expanding accordingly. Thus, it becomes of great importance to reflect and rethink the notion of a logical system, which has served us so well for a century now. This book contains timely, broad, and unifying reflections on logical systems and logical consequence, and helps us think where our discipline is going." Johan van Benthem, University of Amsterdam & Stanford University Nota de contenido: Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A Survey of General Abstract Logic -- Abstract Model Theory as a Framework for Universal Logic -- A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics -- Selfextensional Logics with Implication -- Logic without Self-Deductibility -- Identity and Nature of Logical Structures -- Equipollent Logical Systems -- What is a Logic? -- What is a Logic, and What is a Proof? -- Tools and Concepts for Universal Logic -- Non-deterministic Matrices and Modular Semantics of Rules -- Two’s Company: “The Humbug of Many Logical Values” -- Friendliness and Sympathy in Logic -- Logical Discrimination En línea: http://dx.doi.org/10.1007/978-3-7643-8354-1 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34711 ## Ejemplares

Signatura Medio Ubicación Sub-localización Sección Estado ningún ejemplar

Título : Logica Universalis : Towards a General Theory of Logic Tipo de documento: documento electrónico Autores: SpringerLink (Online service) ; Jean-Yves Béziau Editorial: Basel : Birkhäuser Basel Fecha de publicación: 2005 Número de páginas: X, 228 p Il.: online resource ISBN/ISSN/DL: 978-3-7643-7304-7 Idioma : Inglés ( eng)Palabras clave: Mathematics Arithmetic and logic units, Computer Mathematical Logic Foundations Formal Languages Structures Clasificación: 51 Matemáticas Resumen: "I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons." Istvan Németi, Hungarian Academy of Sciences "Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach." J. Michael Dunn, Indiana University "Modern logic is exploding into manifold applications, and its core research agenda is expanding accordingly. Thus, it becomes of great importance to reflect and rethink the notion of a logical system, which has served us so well for a century now. This book contains timely, broad, and unifying reflections on logical systems and logical consequence, and helps us think where our discipline is going." Johan van Benthem, University of Amsterdam & Stanford University Nota de contenido: Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A Survey of General Abstract Logic -- Abstract Model Theory as a Framework for Universal Logic -- A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics -- Selfextensional Logics with Implication -- Logic without Self-Deductibility -- Identity and Nature of Logical Structures -- Equipollent Logical Systems -- What is a Logic? -- What is a Logic, and What is a Proof? -- Tools and Concepts for Universal Logic -- Non-deterministic Matrices and Modular Semantics of Rules -- Two's Company: “The Humbug of Many Logical Values” -- Logical Friendliness and Sympathy -- Logical Discrimination En línea: http://dx.doi.org/10.1007/b137041 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=35320 Logica Universalis : Towards a General Theory of Logic [documento electrónico] / SpringerLink (Online service) ; Jean-Yves Béziau . - Basel : Birkhäuser Basel, 2005 . - X, 228 p : online resource.ISBN: 978-3-7643-7304-7

Idioma : Inglés (eng)

Palabras clave: Clasificación: 51 Matemáticas Resumen: Nota de contenido: Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A Survey of General Abstract Logic -- Abstract Model Theory as a Framework for Universal Logic -- A Topological Approach to Universal Logic: Model-Theoretical Abstract Logics -- Selfextensional Logics with Implication -- Logic without Self-Deductibility -- Identity and Nature of Logical Structures -- Equipollent Logical Systems -- What is a Logic? -- What is a Logic, and What is a Proof? -- Tools and Concepts for Universal Logic -- Non-deterministic Matrices and Modular Semantics of Rules -- Two's Company: “The Humbug of Many Logical Values” -- Logical Friendliness and Sympathy -- Logical Discrimination En línea: http://dx.doi.org/10.1007/b137041 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=35320 ## Ejemplares

Signatura Medio Ubicación Sub-localización Sección Estado ningún ejemplar

Título : New Approaches to Circle Packing in a Square : With Program Codes Tipo de documento: documento electrónico Autores: Szabó, P. G ; SpringerLink (Online service) ; Markót, M. Cs ; Csendes, T ; Specht, E ; Casado, L. G ; I. García Editorial: Boston, MA : Springer US Fecha de publicación: 2007 Colección: Springer Optimization and Its Applications, ISSN 1931-6828 num. 6 Número de páginas: XIV, 238 p Il.: online resource ISBN/ISSN/DL: 978-0-387-45676-8 Idioma : Inglés ( eng)Palabras clave: Mathematics Arithmetic and logic units, Computer science mathematics Convex geometry Discrete Mathematical optimization Optimization Math Applications in Science Geometry Logic Structures Computational Engineering Clasificación: 51 Matemáticas Resumen: In one sense, the problem of finding the densest packing of congruent circles in a square is easy to understand: it is a matter of positioning a given number of equal circles in such a way that the circles fit fully in a square without overlapping. But on closer inspection, this problem reveals itself to be an interesting challenge of discrete and computational geometry with all its surprising structural forms and regularities. As the number of circles to be packed increases, solving a circle packing problem rapidly becomes rather difficult. To give an example of the difficulty of some problems, consider that in several cases there even exists a circle in an optimal packing that can be moved slightly while retaining the optimality. Such free circles (or "rattles”) mean that there exist not only a continuum of optimal solutions, but the measure of the set of optimal solutions is positive! This book summarizes results achieved in solving the circle packing problem over the past few years, providing the reader with a comprehensive view of both theoretical and computational achievements. Typically illustrations of problem solutions are shown, elegantly displaying the results obtained. Beyond the theoretically challenging character of the problem, the solution methods developed in the book also have many practical applications. Direct applications include cutting out congruent two-dimensional objects from an expensive material, or locating points within a square in such a way that the shortest distance between them is maximal. Circle packing problems are closely related to the "obnoxious facility location” problems, to the Tammes problem, and less closely related to the Kissing Number Problem. The emerging computational algorithms can also be helpful in other hard-to-solve optimization problems like molecule conformation. The wider scientific community has already been involved in checking the codes and has helped in having the computational proofs accepted. Since the codes can be worked with directly, they will enable the reader to improve on them and solve problem instances that still remain challenging, or to use them as a starting point for solving related application problems. Audience This book will appeal to those interested in discrete geometrical problems and their efficient solution techniques. Operations research and optimization experts will also find it worth reading as a case study of how the utilization of the problem structure and specialities made it possible to find verified solutions of previously hopeless high-dimensional nonlinear optimization problems with nonlinear constraints Nota de contenido: and Problem History -- Problem Definitions and Formulations -- Bounds for the Optimum Values -- Approximate Circle Packings Using Optimization Methods -- Other Methods for Finding Approximate Circle Packings -- Interval Methods for Validating Optimal Solutions -- The First Fully Interval-based Optimization Method -- The Improved Version of the Interval Optimization Method -- Interval Methods for Verifying Structural Optimality -- Repeated Patterns in Circle Packings -- Minimal Polynomials of Point Arrangements -- About the Codes Used En línea: http://dx.doi.org/10.1007/978-0-387-45676-8 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34468 New Approaches to Circle Packing in a Square : With Program Codes [documento electrónico] / Szabó, P. G ; SpringerLink (Online service) ; Markót, M. Cs ; Csendes, T ; Specht, E ; Casado, L. G ; I. García . - Boston, MA : Springer US, 2007 . - XIV, 238 p : online resource. - (Springer Optimization and Its Applications, ISSN 1931-6828; 6) .ISBN: 978-0-387-45676-8

Idioma : Inglés (eng)

Palabras clave: Mathematics Arithmetic and logic units, Computer science mathematics Convex geometry Discrete Mathematical optimization Optimization Math Applications in Science Geometry Logic Structures Computational Engineering Clasificación: 51 Matemáticas Resumen: In one sense, the problem of finding the densest packing of congruent circles in a square is easy to understand: it is a matter of positioning a given number of equal circles in such a way that the circles fit fully in a square without overlapping. But on closer inspection, this problem reveals itself to be an interesting challenge of discrete and computational geometry with all its surprising structural forms and regularities. As the number of circles to be packed increases, solving a circle packing problem rapidly becomes rather difficult. To give an example of the difficulty of some problems, consider that in several cases there even exists a circle in an optimal packing that can be moved slightly while retaining the optimality. Such free circles (or "rattles”) mean that there exist not only a continuum of optimal solutions, but the measure of the set of optimal solutions is positive! This book summarizes results achieved in solving the circle packing problem over the past few years, providing the reader with a comprehensive view of both theoretical and computational achievements. Typically illustrations of problem solutions are shown, elegantly displaying the results obtained. Beyond the theoretically challenging character of the problem, the solution methods developed in the book also have many practical applications. Direct applications include cutting out congruent two-dimensional objects from an expensive material, or locating points within a square in such a way that the shortest distance between them is maximal. Circle packing problems are closely related to the "obnoxious facility location” problems, to the Tammes problem, and less closely related to the Kissing Number Problem. The emerging computational algorithms can also be helpful in other hard-to-solve optimization problems like molecule conformation. The wider scientific community has already been involved in checking the codes and has helped in having the computational proofs accepted. Since the codes can be worked with directly, they will enable the reader to improve on them and solve problem instances that still remain challenging, or to use them as a starting point for solving related application problems. Audience This book will appeal to those interested in discrete geometrical problems and their efficient solution techniques. Operations research and optimization experts will also find it worth reading as a case study of how the utilization of the problem structure and specialities made it possible to find verified solutions of previously hopeless high-dimensional nonlinear optimization problems with nonlinear constraints Nota de contenido: and Problem History -- Problem Definitions and Formulations -- Bounds for the Optimum Values -- Approximate Circle Packings Using Optimization Methods -- Other Methods for Finding Approximate Circle Packings -- Interval Methods for Validating Optimal Solutions -- The First Fully Interval-based Optimization Method -- The Improved Version of the Interval Optimization Method -- Interval Methods for Verifying Structural Optimality -- Repeated Patterns in Circle Packings -- Minimal Polynomials of Point Arrangements -- About the Codes Used En línea: http://dx.doi.org/10.1007/978-0-387-45676-8 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34468 ## Ejemplares

Signatura Medio Ubicación Sub-localización Sección Estado ningún ejemplar Towards Mathematical Philosophy / SpringerLink (Online service) ; Makinson, David ; Malinowski, Jacek ; Wansing, Heinrich (2009)

Título : Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV Tipo de documento: documento electrónico Autores: SpringerLink (Online service) ; Makinson, David ; Malinowski, Jacek ; Wansing, Heinrich Editorial: Dordrecht : Springer Netherlands Fecha de publicación: 2009 Colección: Trends in Logic num. 28 Número de páginas: XIV, 344 p Il.: online resource ISBN/ISSN/DL: 978-1-4020-9084-4 Idioma : Inglés ( eng)Palabras clave: Mathematics Logic Arithmetic and logic units, Computer Algebra Mathematical Computational linguistics Foundations Mathematics, general Structures Linguistics Clasificación: 51 Matemáticas Resumen: This volume contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems, some of which come from logic itself, others from other sciences. Its range of subjects is far from complete, but broadly representative. The first group of papers in this volume consists of contributions to pure and applied modal logic. The problems discussed here range from the structure of lattices of normal and other modal propositional logics to modal proof theory and to the semantics of quantified modal logic. The second group of papers deals with Many-valued logics - an extensive domain of strictly logical investigations rooting in philosophical questions concerning the nature of logical values. Logical investigations in cognitive science have successfully utilized methods and systems of belief revision, non-monotonic logic and dynamic epistemic logic. Towards Mathematical Philosophy deals with focal issues of belief revision. The volume concludes with contributions which may be seen to belong to the field of formal epistemology, the area applying logical, probabilistic, game-theoretic and other formal methods to problems and issues in epistemology and philosophy of science, such as those concerning anti-realism, skepticism, theory comparison and theory choice, justification, sources of knowledge and learning theories Nota de contenido: From Logic to Mathematical Philosophy -- Commutativity of Quantifiers in Varying-Domain Kripke Models -- The Method of Tree-Hypersequents for Modal Propositional Logic -- All Splitting Logics in the Lattice NExt(KTB) -- A Temporal Logic of Normative Systems -- Reasoning with Justifications -- Monotone Relations, Fixed Points and Recursive Definitions -- Processing Information from a Set of Sources -- The Classical Model Existence Theorem in Subclassical Predicate Logics I -- Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms -- Faithful and Invariant Conditional Probability in ?ukasiewicz Logic -- A Fuzzy Logic Approach to Non-Scalar Hedges -- The Procedures for Belief Revision -- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators -- The Coherence of Theories—Dependencies and Weights -- On Meta-Knowledge and Truth En línea: http://dx.doi.org/10.1007/978-1-4020-9084-4 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=33958 Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV [documento electrónico] / SpringerLink (Online service) ; Makinson, David ; Malinowski, Jacek ; Wansing, Heinrich . - Dordrecht : Springer Netherlands, 2009 . - XIV, 344 p : online resource. - (Trends in Logic; 28) .ISBN: 978-1-4020-9084-4

Idioma : Inglés (eng)

Palabras clave: Mathematics Logic Arithmetic and logic units, Computer Algebra Mathematical Computational linguistics Foundations Mathematics, general Structures Linguistics Clasificación: 51 Matemáticas Resumen: This volume contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems, some of which come from logic itself, others from other sciences. Its range of subjects is far from complete, but broadly representative. The first group of papers in this volume consists of contributions to pure and applied modal logic. The problems discussed here range from the structure of lattices of normal and other modal propositional logics to modal proof theory and to the semantics of quantified modal logic. The second group of papers deals with Many-valued logics - an extensive domain of strictly logical investigations rooting in philosophical questions concerning the nature of logical values. Logical investigations in cognitive science have successfully utilized methods and systems of belief revision, non-monotonic logic and dynamic epistemic logic. Towards Mathematical Philosophy deals with focal issues of belief revision. The volume concludes with contributions which may be seen to belong to the field of formal epistemology, the area applying logical, probabilistic, game-theoretic and other formal methods to problems and issues in epistemology and philosophy of science, such as those concerning anti-realism, skepticism, theory comparison and theory choice, justification, sources of knowledge and learning theories Nota de contenido: From Logic to Mathematical Philosophy -- Commutativity of Quantifiers in Varying-Domain Kripke Models -- The Method of Tree-Hypersequents for Modal Propositional Logic -- All Splitting Logics in the Lattice NExt(KTB) -- A Temporal Logic of Normative Systems -- Reasoning with Justifications -- Monotone Relations, Fixed Points and Recursive Definitions -- Processing Information from a Set of Sources -- The Classical Model Existence Theorem in Subclassical Predicate Logics I -- Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms -- Faithful and Invariant Conditional Probability in ?ukasiewicz Logic -- A Fuzzy Logic Approach to Non-Scalar Hedges -- The Procedures for Belief Revision -- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators -- The Coherence of Theories—Dependencies and Weights -- On Meta-Knowledge and Truth En línea: http://dx.doi.org/10.1007/978-1-4020-9084-4 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=33958 ## Ejemplares

Signatura Medio Ubicación Sub-localización Sección Estado ningún ejemplar