类 型
9 篇文献
 
ENTROPIC HOPF ALGEBRAS AND MODELS OF NON-COMMUTATIVE LOGIC  
We give a definition of categorical model for the multiplicative fragment of non-commutative logic. We call such structures entropic categories. We demonstrate the soundness and completeness of our ax......
4次引用 0 0
Computing Science Group Learning in a changing world via algebraic modal logic  
We develop an algebraic modal logic that combines epistemic modalities with dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a changing world. Unli......
0次引用 0 0
Multiplicative Linear Logics and Fibrations  
Electronic Notes in Theoretical Computer Science  2002
0次引用 0 0
Reasoning about assertions, obligations and causality: on a categorical semantics for a logic for pragmatics  
Abstract The aim of the logic for pragmatics considered in this work is to provide a logical framework that formalises reasoning about the pragmatic forces with which a sentence may be uttered. The co......
1次引用 0 0
Deep Inference and Probabilistic Coherence Spaces  
This paper proposes a definition of categorical model of the deep inference system BV, defined by Guglielmi. Deep inference introduces the idea of performing a deduction in the interior of a formula, ......
Applied Categorical Structures  2012
3次引用 0 0
Category theory for linear logicians  
This paper presents an introduction to category theory with an emphasis on those aspects relevant to the analysis of the model theory of linear logic. With this in mind, we focus on the basic definiti......
Logic in Computer Science  2004
11次引用 0 0
A categorical semantics for polarized MALL  
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurent’s Polarized Linear Lo......
Annals of Pure and Applied Logic  2007
3次引用 0 0
Functorial Boxes in String Diagrams  
String diagrams were introduced by Roger Penrose as a handy notation to manipulate morphisms in a monoidal category. In principle, this graphical notation should encompass the various pictorial system......
Computer Science Logic  2006
4次引用 0 0
A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication  
One of the aims of a logic for pragmatics is to provide a logical framework that formalizes reasoning about speech acts. In this paper we investigate the semantics of a fragment of the logic for pragm......
Fundamenta Informaticae  2008
2次引用 0 0

Feedback
Feedback
Feedback
我想反馈:
排行榜