A general algebraic semantics for sentential logics /
An exposition of the approach to the algebraization of sentential logics developed by the Barcelona logic group.
| Cote: | Libro Electrónico |
|---|---|
| Auteurs principaux: | Font, Josep Maria, 1954- (Auteur), Jansana, Ramon (Auteur) |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Cambridge :
Cambridge University Press,
2017.
|
| Édition: | Second edition. |
| Collection: | Lecture notes in logic ;
7. |
| Sujets: | |
| Accès en ligne: | Texto completo |
Documents similaires
-
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 /
Publié: (2005) -
Semigroups underlying first-order logic /
par: Craig, William, 1918-
Publié: (2006) -
Residuated Lattices : an Algebraic Glimpse at Substructural Logics.
par: Galatos, Nikolaos
Publié: (2007) -
Cafe : an industrial-strength algebraic formal method /
Publié: (2000) -
An algebraic approach to non-classical logics /
par: Rasiowa, Helena
Publié: (1974)


