Buscar
Mostrando ítems 1-3 de 3
Ponencia
Tratamiento multimodal de contextos
(Universidad de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico, 2012)
We take as starting point the context logic studied in (Grossi, Meyer, and Dignum 2008) and (Aucher et al. 2009), which was concerned with the development of a dynamic logic of rules. Here we focus on issues of Formal ...
Ponencia
Prospects for practice-based philosophy of logic
(Universidad de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico, 2012)
We explore prospects for practice-based approaches to logical theory, in particular the link between classical and intuitionistic logic and the inferential structure of traditional practices of representation & argument ...
Ponencia
Abducción y semántica de teoría de juegos
(Universidade de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico, 2012)
An agency-inspired inferential game is proposed in which two agents (abductive and deductive) interact. It depicts hybrid inferencial contexts where deductive and abductive steps are mixed. The abductive agent can use ...