Ramon Jansana – författare
Visar alla böcker från författaren Ramon Jansana. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 7 - Lecture Notes in Logic
A General Algebraic Semantics for Sentential Logics
Inbunden, Engelska, 2017
1 577 kr
Skickas inom 7-10 vardagar
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of sentential logics and present its results on a number of particular logics. The authors compare their approach, which uses abstract logics, to the classical approach based on logical matrices and the equational consequence developed by Blok, Czelakowski, Pigozzi and others. This monograph presents a systematized account of some of the work on the algebraic study of sentential logics carried out by the logic group in Barcelona in the 1970s.
Häftad, Engelska, 1996
540 kr
Skickas inom 10-15 vardagar
This text presents a general process of algebraization, in a wide sense, applicable to any logical system presented as a sentential logic. This process is performed through the use of abstract logics, which are pairs consisting of an algebra and closure operature on it. The main focus of the book is the notion of a full model of a logic. Besides the fundamental properties of this notion, the relationship between this approach and the more restricted, matrix-based ones are studies. Moreover, abstract logics are used in a natural way as models of Gentzen calculi; in this way algebraizations of some logics are obtained that are not possible in more standard approaches.