Hypergraph Lambek Calculus
2020
https://arxiv.org/abs/2010.00819
hypergraph lambek calculus hyper lambek calculus
description
Lambek Calculus and Substructural Logics
2010
description
Lambek calculusはexchangeを制限した部分構造論理に対応している．
- lambek calculus
- From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality
2023
https://arxiv.org/abs/2303.15788
hyper lambek calculus lambek calculus hypergraph DPO
description
- Lambek Calculus and Formal Grammars
2001
lambek calculus
https://www.researchgate.net/publication/2380958_Lambek_Calculus_and_Formal_Grammars
description
- Extended Lambek calculi and first-order linear logic
2013
https://arxiv.org/abs/1305.6238
linear logic lambek calculus
- logic
- Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
2009
ICE2009
https://arxiv.org/abs/0911.5525
graph logic linear logic hypergraph
- LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic
2018
LICS2018
https://dl.acm.org/doi/abs/10.1145/3209108.3209195
#logic #Curry-Howard linear logic
- The Hierarchy of Hyperlogics
2019
LICS2019
https://arxiv.org/abs/2005.05934
logic hyperlogic
- Intuitionistic proofs without syntax
2019
LICS2019
https://ieeexplore.ieee.org/document/8785827
logic proof nets game theory lambda calculus
- Template games and differential linear logic
2019
LICS2019
https://ieeexplore.ieee.org/document/8785830
logic linear logic game theory
- Quantum Hoare Logic with Ghost Variables
2019
LICS2019
https://arxiv.org/abs/1902.00325
logic quantum hoare logic
- On the logical structure of choice and bar induction principles
2021
LICS2021
https://arxiv.org/abs/2105.08951
logic
- On Logics and Homomorphism Closure
2021
LICS2021
https://arxiv.org/abs/2104.11955
logic type theory homotopy type theory
- A Functorial Excursion Between Algebraic Geometry and Linear Logic
2022
LICS2022
https://dl.acm.org/doi/abs/10.1145/3531130.3532488
logic linear logic algebraric geometry
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
2022
LICS2022
https://arxiv.org/abs/2205.15203
logic linear logic cut elimination
- Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings
2022
LICS2022
https://arxiv.org/abs/2204.10589
logic linear logic category
- Decidability, Complexity, and Expressiveness of First-Order Logic Over the Subword Ordering
2017
LICS2017
https://arxiv.org/abs/1701.07470
logic first-order logic
- Dual-Context Calculi for Modal Logic
2017
LICS2017
https://arxiv.org/abs/1602.04860
logic modal logic
- First-order logic with counting
2017
LICS2017
https://ieeexplore.ieee.org/document/8005133
logic first-order logic
- First-order logic with reachability for infinite-state systems
2016
LICS2016
https://ieeexplore.ieee.org/document/8576482
logic first-order logic
- Monadic second order logic as the model companion of temporal logic
2016
LICS2016
https://arxiv.org/abs/1605.01003
logic
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic
2016
LICS2016
https://arxiv.org/abs/1605.03480
graph logic first-order logic quantum
- Two-variable Logic with a Between Relation
2016
LICS2016
https://dl.acm.org/doi/10.1145/2933575.2935308
logic
- Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics
2016
LICS2016
https://ieeexplore.ieee.org/document/8576405
logic linear logic affine logic
- Interaction Graphs: Full Linear Logic
2016
LICS2016
https://arxiv.org/abs/1504.04152
graph linear logic logic proof nets
- A Generalized Modality for Recursion
2018
LICS2018
https://arxiv.org/abs/1805.11021
modal logic logic lambda calculus
- One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata
2018
LICS2018
https://arxiv.org/abs/1805.00748
logic LTL model check