This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Co…
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
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
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…
