The Undecidability of Second Order Linear Logic Without Exponentials

Journal of Symbolic Logic - United Kingdom
doi 10.2307/2275674
Full Text
Abstract

Available in full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Linear Delay Enumeration and Monadic Second-Order Logic

Discrete Applied Mathematics
CombinatoricsApplied MathematicsDiscrete Mathematics
2009English

A Phase Semantics for Polarized Linear Logic and Second Order Conservativity

Journal of Symbolic Logic
PhilosophyLogic
2010English

Cut-Eliminability in Second Order Logic Calculus

Annals of the Japan Association for Philosophy of Science
2018English

Finite Order Solutions of Second Order Linear Differential Equations

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1988English

Higher-Order Distributions for Differential Linear Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

On Second-Order Non-Linear Oscillation

Pacific Journal of Mathematics
Mathematics
1955English

Cavity-Enhanced Second-Order Nonlinear Photonic Logic Circuits

Physical Review Applied
AstronomyPhysics
2016English

On Quasi-Linear Parabolic Equations of the Second Order

Indiana University Mathematics Journal
Mathematics
1958English

On the Zeros of Second Order Linear Differential Polynomials

Proceedings of the Edinburgh Mathematical Society
Mathematics
1990English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy