Results 11 to 20 of about 823,326 (291)
Novel logic mining incorporating log linear approach
Journal of King Saud University: Computer and Information Sciences, 2022 Mining the best logical rule from the data is a challenging task because not all attribute of the dataset will contribute towards the optimal logical representation.
Siti Zulaikha Mohd Jamaludin +5 more
doaj +3 more sources
LNL polycategories and doctrines of linear logic [PDF]
Logical Methods in Computer Science, 2023 We define and study LNL polycategories, which abstract the judgmental structure of classical linear logic with exponentials. Many existing structures can be represented as LNL polycategories, including LNL adjunctions, linear exponential comonads, LNL ...
Michael Shulman
doaj +1 more source
Dagger linear logic for categorical quantum mechanics [PDF]
Logical Methods in Computer Science, 2021 Categorical quantum mechanics exploits the dagger compact closed structure of finite dimensional Hilbert spaces, and uses the graphical calculus of string diagrams to facilitate reasoning about finite dimensional processes.
Robin Cockett +2 more
doaj +1 more source
Weighted Linear Dynamic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental Schützenberger theorem.
Manfred Droste, George Rahonis
doaj +1 more source
Bounded Linear Logic, Revisited [PDF]
Logical Methods in Computer Science, 2010 We present QBAL, an extension of Girard, Scedrov and Scott's bounded linear logic. The main novelty of the system is the possibility of quantifying over resource variables.
Ugo Dal Lago, Martin Hofmann
doaj +1 more source
Weak topologies for Linear Logic [PDF]
Logical Methods in Computer Science, 2016 We construct a denotational model of linear logic, whose objects are all the locally convex and separated topological vector spaces endowed with their weak topology.
Marie Kerjean
doaj +1 more source
Intuitionistic Linear Temporal Logics [PDF]
ACM Transactions on Computational Logic, 2019 We consider intuitionistic variants of linear temporal logic with “next,” “until,” and “release” based on expanding posets : partial orders equipped with an order-preserving transition function. This class of structures gives rise to a logic that we denote ITL e , and by imposing additional ...
Philippe Balbiani +3 more
openaire +4 more sources
Hybrid linear logic, revisited [PDF]
Mathematical Structures in Computer Science, 2019 HyLL (Hybrid Linear Logic) is an extension of intuitionistic linear logic (ILL) that has been used as a framework for specifying systems that exhibit certain modalities. In HyLL, truth judgements are labelled by worlds (having a monoidal structure) and hybrid connectives (at and ↓) relate worlds with formulas.
KAUSTUV CHAUDHURI +3 more
openaire +3 more sources
Linear Logic Properly Displayed
ACM Transactions on Computational Logic, 2023 We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut elimination and subformula property. Based on the same design, we introduce a variant of Lambek calculus with exponentials, aimed at capturing the controlled ...
Giuseppe Greco, Alessandra Palmigiano
openaire +3 more sources
Linear Abadi and Plotkin Logic [PDF]
Logical Methods in Computer Science, 2006 We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, following Plotkin's suggestions, that it can be used to define a wide ...
Lars Birkedal +2 more
doaj +1 more source