|
Books > Humanities > Philosophy > Western philosophy > Modern Western philosophy, c 1600 to the present > Western philosophy, from c 1900 - > Analytical & linguistic philosophy
|
Buy Now
Larisa Maksimova on Implication, Interpolation, and Definability (Hardcover, 1st ed. 2018)
Loot Price: R1,525
Discovery Miles 15 250
|
|
|
Larisa Maksimova on Implication, Interpolation, and Definability (Hardcover, 1st ed. 2018)
Series: Outstanding Contributions to Logic, 15
Expected to ship within 10 - 15 working days
|
This edited volume focuses on the work of Professor Larisa
Maksimova, providing a comprehensive account of her outstanding
contributions to different branches of non-classical logic. The
book covers themes ranging from rigorous implication, relevance and
algebraic logic, to interpolation, definability and recognizability
in superintuitionistic and modal logics. It features both her
scientific autobiography and original contributions from experts in
the field of non-classical logics. Professor Larisa Maksimova's
influential work involved combining methods of algebraic and
relational semantics. Readers will be able to trace both influences
on her work, and the ways in which her work has influenced other
logicians. In the historical part of this book, it is possible to
trace important milestones in Maksimova's career. Early on, she
developed an algebraic semantics for relevance logics and
relational semantics for the logic of entailment. Later, Maksimova
discovered that among the continuum of superintuitionisitc logics
there are exactly three pretabular logics. She went on to obtain
results on the decidability of tabularity and local tabularity
problems for superintuitionistic logics and for extensions of S4.
Further investigations by Maksimova were aimed at the study of
fundamental properties of logical systems (different versions of
interpolation and definability, disjunction property, etc.) in big
classes of logics, and on decidability and recognizability of such
properties. To this end she determined a powerful combination of
algebraic and semantic methods, which essentially determine the
modern state of investigations in the area, as can be seen in the
later chapters of this book authored by leading experts in
non-classical logics. These original contributions bring the reader
up to date on the very latest work in this field.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
