A general algebraic semantics for sentential logics /
An exposition of the approach to the algebraization of sentential logics developed by the Barcelona logic group.
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Font, Josep Maria, 1954- (Autor), Jansana, Ramon (Autor) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cambridge :
Cambridge University Press,
2017.
|
Edición: | Second edition. |
Colección: | Lecture notes in logic ;
7. |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Logic and its applications : International Conference on Logic and Its Applications in Algebra and Geometry, April 11-13, 2003, and Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, April 14-15, 2003, University of Michigan, Ann Arbor, Michigan /
Publicado: (2005) -
Semigroups underlying first-order logic /
por: Craig, William, 1918-
Publicado: (2006) -
Residuated Lattices : an Algebraic Glimpse at Substructural Logics.
por: Galatos, Nikolaos
Publicado: (2007) -
Cafe : an industrial-strength algebraic formal method /
Publicado: (2000) -
An algebraic approach to non-classical logics /
por: Rasiowa, Helena
Publicado: (1974)