1,007 research outputs found
Sequentiality vs. Concurrency in Games and Logic
Connections between the sequentiality/concurrency distinction and the
semantics of proofs are investigated, with particular reference to games and
Linear Logic.Comment: 35 pages, appeared in Mathematical Structures in Computer Scienc
Multiplicative Dirac structures on Lie groups
We study multiplicative Dirac structures on Lie groups. We show that the
characteristic foliation of a multiplicative Dirac structure is given by the
cosets of a normal Lie subgroup and, whenever this subgroup is closed, the leaf
space inherits the structure of a Poisson-Lie group. We also describe
multiplicative Dirac structures on Lie groups infinitesimally.Comment: Published in Comptes Rendus Mathematiqu
Computational coverage of type logical grammar: The Montague test
It is nearly half a century since Montague made his contributions to
the field of logical semantics. In this time, computational linguistics has taken an almost entirely statistical turn and mainstream linguistics has adopted an almost entirely non-formal methodology. But in a minority approach reaching back before the linguistic revolution, and to the origins of computing, type logical grammar (TLG) has continued championing the flags of symbolic computation and logical rigor in discrete grammar. In this paper, we aim to concretise a measure
of progress for computational grammar in the form of the Montague Test. This is the challenge of providing a computational cover grammar of the Montague fragment. We formulate this Montague Test and show how the challenge is met by the type logical parser/theorem-prover CatLog2.Peer ReviewedPostprint (published version
Multiplicative-Additive Focusing for Parsing as Deduction
Spurious ambiguity is the phenomenon whereby distinct derivations in grammar
may assign the same structural reading, resulting in redundancy in the parse
search space and inefficiency in parsing. Understanding the problem depends on
identifying the essential mathematical structure of derivations. This is
trivial in the case of context free grammar, where the parse structures are
ordered trees; in the case of categorial grammar, the parse structures are
proof nets. However, with respect to multiplicatives intrinsic proof nets have
not yet been given for displacement calculus, and proof nets for additives,
which have applications to polymorphism, are involved. Here we approach
multiplicative-additive spurious ambiguity by means of the proof-theoretic
technique of focalisation.Comment: In Proceedings WoF'15, arXiv:1511.0252
Logics for modelling collective attitudes
We introduce a number of logics to reason about collective propositional
attitudes that are defined by means of the majority rule. It is well known that majoritarian
aggregation is subject to irrationality, as the results in social choice theory and judgment
aggregation show. The proposed logics for modelling collective attitudes are based on
a substructural propositional logic that allows for circumventing inconsistent outcomes.
Individual and collective propositional attitudes, such as beliefs, desires, obligations, are
then modelled by means of minimal modalities to ensure a number of basic principles. In
this way, a viable consistent modelling of collective attitudes is obtained
Process Realizability
We develop a notion of realizability for Classical Linear Logic based on a
concurrent process calculus.Comment: Appeared in Foundations of Secure Computation: Proceedings of the
1999 Marktoberdorf Summer School, F. L. Bauer and R. Steinbruggen, eds. (IOS
Press) 2000, 167-18
Multiplicatives, frequency and quantification adverbs
The paper proposes a strict three-way distinction among adverbs that specify the frequency or quantity of multiple events. It is argued that the distribution of the three classes of adverbs in Hungarian largely follows from independent factors, and it is dictated by basic semantic properties of the adverbs. One group of adverbs, that of adverbs of quantification, shares the distribution of comparable (non-adverbial) quantificational expressions. Thus syntactic positions occupied by these adverbs are determined by general considerations, and no adverb-specific assumptions are necessary
Generalized Connectives for Multiplicative Linear Logic
In this paper we investigate the notion of generalized connective for multiplicative linear logic. We introduce a notion of orthogonality for partitions of a finite set and we study the family of connectives which can be described by two orthogonal sets of partitions.
We prove that there is a special class of connectives that can never be decomposed by means of the multiplicative conjunction ? and disjunction ?, providing an infinite family of non-decomposable connectives, called Girard connectives. We show that each Girard connective can be naturally described by a type (a set of partitions equal to its double-orthogonal) and its orthogonal type. In addition, one of these two types is the union of the types associated to a family of MLL-formulas in disjunctive normal form, and these formulas only differ for the cyclic permutations of their atoms
- …