An exposition of the approach to the algebraization of sententiallogics developed by the Barcelona logic group.
"13" Result
Sort By:
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 publi…
Cover -- Half-title -- Series information -- Title page -- Copyright information -- Table of contents -- INTRODUCTION -- Some history -- What is a logic? -- Outline of the contents -- Acknowledgements -- Note to the second edition (2009) -- CHAPTER 1 GENERALITIES ON ABSTRACT LOG…
General algebraic semantics for sentential logics
0
Type: Book
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 publi…
An exposition of the approach to the algebraization of sentential logics developed by the Barcelona logic group.
Institution-independent Model Theory
by Burgin, Mark, Béziau, Jean-Yves, Diaconescu, Razvan, Diaconescu, Razvan, Andreka, Hajnal, Font, Josep Maria, Herzig, Andreas, Koslow, Arnold, Lee, Jui-Lin, Malinowski, Grzegorz, Sarenac, Darko, Schröder-Heister, Peter, Vasyukov, Vladimir, Maksimova, Larisa Lʹvovna
fromStudies in Universal Logic
0
Type: Book
Institution-independent Model Theory
by Burgin, Mark, Béziau, Jean-Yves, Diaconescu, Razvan, Diaconescu, Razvan, Andreka, Hajnal, Font, Josep Maria, Herzig, Andreas, Koslow, Arnold, Lee, Jui-Lin, Maksimova, Larissa, Malinowski, Grzegorz, Sarenac, Darko, Schröder-Heister, Peter, Vasyukov, Vladimir
fromStudies in universisal logic
0
Type: Book
Introduction -- Categories -- Institutions -- Theories and models -- Internal logic -- Model ultrapoducts -- Saturated models -- Preservation and axiomatizability -- Interpolation -- Definability -- Possible worlds -- Grothendieck institutions -- Institutions with proofs -- Spec…