Cargando…

A general algebraic semantics for sentential logics

An exposition of the approach to the algebraization of sentential logics developed by the Barcelona logic group.

Detalles Bibliográficos
Autores principales: Font, Josep Maria, Jansana, Ramon
Lenguaje:eng
Publicado: Cambridge University Press 2017
Materias:
Acceso en línea:http://cds.cern.ch/record/2269585
_version_ 1780954759380860928
author Font, Josep Maria
Jansana, Ramon
author_facet Font, Josep Maria
Jansana, Ramon
author_sort Font, Josep Maria
collection CERN
description An exposition of the approach to the algebraization of sentential logics developed by the Barcelona logic group.
id cern-2269585
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2017
publisher Cambridge University Press
record_format invenio
spelling cern-22695852021-04-21T19:10:42Zhttp://cds.cern.ch/record/2269585engFont, Josep MariaJansana, RamonA general algebraic semantics for sentential logicsMathematical Physics and MathematicsAn exposition of the approach to the algebraization of sentential logics developed by the Barcelona logic group.Cambridge University Pressoai:cds.cern.ch:22695852017
spellingShingle Mathematical Physics and Mathematics
Font, Josep Maria
Jansana, Ramon
A general algebraic semantics for sentential logics
title A general algebraic semantics for sentential logics
title_full A general algebraic semantics for sentential logics
title_fullStr A general algebraic semantics for sentential logics
title_full_unstemmed A general algebraic semantics for sentential logics
title_short A general algebraic semantics for sentential logics
title_sort general algebraic semantics for sentential logics
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/2269585
work_keys_str_mv AT fontjosepmaria ageneralalgebraicsemanticsforsententiallogics
AT jansanaramon ageneralalgebraicsemanticsforsententiallogics
AT fontjosepmaria generalalgebraicsemanticsforsententiallogics
AT jansanaramon generalalgebraicsemanticsforsententiallogics