(Pure) logic out of probability
The text of the paper corresponds to the author's invited contribution to the Workshop on "Aspects of mechanizing inference", held in Naples Oct. 30 - Nov. 2, 1995.
| Autor: | |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 1996 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/82541 |
| Acceso en línea: | https://hdl.handle.net/2117/82541 |
| Access Level: | acceso abierto |
| Palabra clave: | Sentential logic Boolean algebra Logical semantics Probabilistic semantics Probability logic Many-valued logics Supervaluations Uncertainty Rational belief Proof theory Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
| Sumario: | The text of the paper corresponds to the author's invited contribution to the Workshop on "Aspects of mechanizing inference", held in Naples Oct. 30 - Nov. 2, 1995. |
|---|