|
Showing 1 - 4 of
4 matches in All Departments
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.
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.
Thetitleofthisbookmentionstheconceptsofparaconsistencyandconstr-
tive logic. However, the presented material belongs to the ?eld of
parac- sistency, not to constructive logic. At the level of
metatheory, the classical methods are used. We will consider two
concepts of negation: the ne- tion as reduction to absurdity and
the strong negation. Both concepts were developed in the setting of
constrictive logic, which explains our choice of the title of the
book. The paraconsistent logics are those, which admit - consistent
but non-trivial theories, i. e. , the logics which allow one to
make inferences in a non-trivial fashion from an inconsistent set
of hypotheses. Logics in which all inconsistent theories are
trivial are called explosive. The indicated property of
paraconsistent logics yields the possibility to apply them in
di?erent situations, where we encounter phenomena relevant (to some
extent) to the logical notion of inconsistency. Examples of these
si- ations are (see [86]): information in a computer data base;
various scienti?c theories; constitutions and other legal
documents; descriptions of ?ctional (and other non-existent)
objects; descriptions of counterfactual situations; etc. The
mentioned survey by G. Priest [86] may also be recommended for a
?rst acquaintance with paraconsistent logic. The study of the
paracons- tency phenomenon may be based on di?erent philosophical
presuppositions (see, e. g. , [87]). At this point, we emphasize
only one fundamental aspect of investigations in the ?eld of
paraconsistency. It was noted by D. Nelson in [65, p.
Thetitleofthisbookmentionstheconceptsofparaconsistencyandconstr-
tive logic. However, the presented material belongs to the ?eld of
parac- sistency, not to constructive logic. At the level of
metatheory, the classical methods are used. We will consider two
concepts of negation: the ne- tion as reduction to absurdity and
the strong negation. Both concepts were developed in the setting of
constrictive logic, which explains our choice of the title of the
book. The paraconsistent logics are those, which admit - consistent
but non-trivial theories, i. e. , the logics which allow one to
make inferences in a non-trivial fashion from an inconsistent set
of hypotheses. Logics in which all inconsistent theories are
trivial are called explosive. The indicated property of
paraconsistent logics yields the possibility to apply them in
di?erent situations, where we encounter phenomena relevant (to some
extent) to the logical notion of inconsistency. Examples of these
si- ations are (see [86]): information in a computer data base;
various scienti?c theories; constitutions and other legal
documents; descriptions of ?ctional (and other non-existent)
objects; descriptions of counterfactual situations; etc. The
mentioned survey by G. Priest [86] may also be recommended for a
?rst acquaintance with paraconsistent logic. The study of the
paracons- tency phenomenon may be based on di?erent philosophical
presuppositions (see, e. g. , [87]). At this point, we emphasize
only one fundamental aspect of investigations in the ?eld of
paraconsistency. It was noted by D. Nelson in [65, p.
|
|