Admissibility of Logical Inference Rules: Volume 136 Image close
Admissibility of Logical Inference Rules: Volume 136 on Hardback by V.V. Rybakov
Admissibility of Logical Inference Rules: Volume 136 on Hardback by V.V. Rybakov
Show Hide Adult Content
Admissibility of Logical Inference Rules: Volume 136 close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Admissibility of Logical Inference Rules: Volume 136

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$500.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $125.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more Studies in Logic & the Foundations of Mathematics

See all products in this series

Lectures on the Curry-Howard Isomorphism: Volume 149 on Hardback by Pawel Urzyczyn
$412.99
Lectures on the Curry-Howard Isomorphism: Volume 149
by Pawel Urzyczyn ~ Hardback
Available - Usually ships in 3-4 weeks
Realizability: Volume 152 on Hardback by Jaap Van Oosten
$448.99
Realizability: Volume 152
by Jaap Van Oosten ~ Hardback
Available - Usually ships in 3-4 weeks
Categorical Logic and Type Theory: Volume 141 by B. Jacobs
$341.99
Categorical Logic and Type Theory: Volume 141
by B. Jacobs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Residuated Lattices: An Algebraic Glimpse at Substructural Logics: Volume 151 on Hardback by Nikolaos Galatos
$388.99
Residuated Lattices: An Algebraic Glimpse at Substructural Logics:...
by Nikolaos Galatos ~ Hardback
Available - Usually ships in 3-4 weeks
Tools and Techniques in Modal Logic: Volume 142 on Hardback by M. Kracht
$427.99
Tools and Techniques in Modal Logic: Volume 142
by M. Kracht ~ Hardback
Available - Usually ships in 3-4 weeks
Many-Dimensional Modal Logics: Theory and Applications: Volume 148 on Hardback by A Kurucz
$474.99
Many-Dimensional Modal Logics: Theory and Applications: Volume 148
by A Kurucz ~ Hardback
Available - Usually ships in 3-4 weeks
Constructivism in Mathematics, Vol 1: Volume 121 on Hardback by A.S. Troelstra
$607.99
Constructivism in Mathematics, Vol 1: Volume 121
by A.S. Troelstra ~ Hardback
Available - Usually ships in 3-4 weeks
Relation Algebras by Games: Volume 147 on Hardback by R. Hirsch
$419.99
Relation Algebras by Games: Volume 147
by R. Hirsch ~ Hardback
Available - Usually ships in 3-4 weeks
Quantification in Nonclassical Logic: Volume 153 on Hardback by Dimitrij Skvortsov
$576.99
Quantification in Nonclassical Logic: Volume 153
by Dimitrij Skvortsov ~ Hardback
Available - Usually ships in 3-4 weeks
Handbook of Proof Theory: Volume 137 on Hardback
$507.99
Handbook of Proof Theory: Volume 137
Hardback
Available - Usually ships in 3-4 weeks
Relation Algebras: Volume 150 on Hardback by Roger Duncan Maddux
$685.99
Relation Algebras: Volume 150
by Roger Duncan Maddux ~ Hardback
Available - Usually ships in 3-4 weeks
Constructivism in Mathematics: Volume 121 by A.S. Troelstra
$142.99
Constructivism in Mathematics: Volume 121
by A.S. Troelstra ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Language in Action: Volume 130 on Hardback by J Van Benthem
$332.99
Language in Action: Volume 130
by J Van Benthem ~ Hardback
Available - Usually ships in 3-4 weeks
Rudiments of Calculus: Volume 146 on Hardback
$267.99
Rudiments of Calculus: Volume 146
Hardback
Available - Usually ships in 3-4 weeks
Classical Recursion Theory: Volume 125 by P. Odifreddi
$264.99
Classical Recursion Theory: Volume 125
by P. Odifreddi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Handbook of Computability Theory: Volume 140 on Hardback
$509.99
Handbook of Computability Theory: Volume 140
Hardback
Available - Usually ships in 3-4 weeks

Description

The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: * admissible or permissible inference rules * the derivability of the admissible inference rules * the structural completeness of logics * the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and special attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included. The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook.
Release date Australia
March 14th, 1997
Author
Audience
  • Professional & Vocational
Country of Publication
United States
Imprint
North-Holland
Pages
616
Publisher
Elsevier Science & Technology
Dimensions
156x234x36
ISBN-13
9780444895059
Product ID
2839831

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Algebra