Search results for “[Subject: logic-design]”

• Author(s): Jean-Yves Beziau • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: LogicUniversal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years...

• Author(s): Uwe Schöning • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predic...

• Author(s): Evgeny Kagan | Alexander Rybalov | Ronald Yager • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: Computer ScienceMulti-valued and fuzzy logics provide mathematical and computational tools for handling imperfect inform...

• Author(s): Howard Straubing • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicThe study of the connections between mathematical automata and for- mal logic is as old as theoretical computer science itself. In the founding pape...

• Author(s): Evgeny Kagan | Alexander Rybalov | Ronald Yager • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: Computer ScienceMulti-valued and fuzzy logics provide mathematical and computational tools for handling imperfect inform...

• Author(s): Wei Li • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverMathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how...

• Author(s): Howard Straubing • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicThe study of the connections between mathematical automata and for- mal logic is as old as theoretical computer science itself. In the founding pape...

• Author(s): Steven G. Krantz • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Computer ScienceA concise and essential resource for basic logic concepts, methods and information. The book is an excellent resource for the working mat...

• Author(s): G. Zhang • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Languages - GeneralThis monograph studies the logical aspects of domains as used in de- notational semantics of programming languages. Frameworks of domain logic...

• Author(s): Christian Prehofer • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Data Science - GeneralThis monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic ...

• Author(s): John N. Crossley | Jeffrey B. Remmel | Richard Shore • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: Programming - GeneralThe twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode...

• Author(s): Christian Prehofer • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Programming - GeneralThis monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic i...

• Author(s): Jean-Yves Béziau • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThis contributed volume collects papers related to the Logic in Question workshop, which has taken place annually at Sorbonne Uni...

• Author(s): Francisco Rodríguez-Consuegra • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: Logic

• Author(s): G. Zhang • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Languages - GeneralThis monograph studies the logical aspects of domains as used in de- notational semantics of programming languages. Frameworks of domain logic...

• Author(s): Samson Abramsky • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicIn this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of de...

• Author(s): Jean-Yves Béziau • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThis contributed volume collects papers related to the Logic in Question workshop, which has taken place annually at Sorbonne Uni...

• Author(s): Yves Nievergelt • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: AppliedThis modern introduction to the foundations of logic and mathematics takes into account not only theory, but also treats in some detail application...

• Author(s): William M. Farmer • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: Computer ScienceThis unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express a...

• Author(s): Samson Abramsky • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicIn this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of de...

• Author(s): Jens Lemanski • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: History & PhilosophyFrom the Back CoverThe chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer's logic, mathematics...

• Author(s): Ivor Grattan-Guinness • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicGeorge Boole (1815-1864) is well known to mathematicians for his research and textbooks on the calculus, but his name has spread world-wide for...

• Author(s): Ivor Grattan-Guinness • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: GeneralGeorge Boole (1815-1864) is well known to mathematicians for his research and textbooks on the calculus, but his name has spread world-wide f...

• Author(s): John N. Crossley • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: Data Science - GeneralThe twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Meth...

• Author(s): Julie Brumberg-Chaumont • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicThis contributed volume explores the ways logical skills have been perceived over the course of history. The authors approach the topic from ...

• Author(s): Timothy J. Madigan • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverJohn Corcoran was a very well-known logician who worked on several areas of logic. He produced decisive works giving a better u...

• Author(s): Arnold Koslow • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThis second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor ...

• Author(s): Francine F. Abeles • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThis book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to ma...

• Author(s): Urszula B. Wybraniec-Skardowska • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: History & PhilosophyFrom the Back CoverHow should we think about the meaning of the words that make up our language? How does referenc...

• Author(s): Urszula B. Wybraniec-Skardowska • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: History & PhilosophyFrom the Back CoverHow should we think about the meaning of the words that make up our language? How does referenc...

• Author(s): Arnold Koslow • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThis is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been ...

• Author(s): Saloua Chatti • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThis monograph explores the logical systems of early logicians in the Arabic tradition from a theoretical perspective, providing a c...

• Author(s): Yvon Gauthier • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThis book offers an original contribution to the foundations of logic and mathematics, and focuses on the internal logic of mathemat...

• Author(s): Hajnal Andréka • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThis book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the qu...

• Author(s): Hajnal Andréka • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverThis book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the qu...

• Author(s): Jean-Yves Béziau • Publisher: Springer • Publisher Imprint: Birkhauser • BISAC: LogicFrom the Back CoverA collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Gödel, Kripke - giving a general perspective about logical...