Classical Linear Logic of Implications

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129504004621
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Modified Realizability Interpretation of Classical Linear Logic

2007English

Quantum Logic in the Framework of Linear Logic

Annals of the Japan Association for Philosophy of Science
1996English

Causality in Linear Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Logic Programming in a Fragment of Intuitionistic Linear Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

Natural Three-Valued Logics and Classical Logic

Logical Investigations
2013English

Non Decomposable Connectives of Linear Logic

Annals of Pure and Applied Logic
Logic
2019English

Linear Time Logic Control of Discrete-Time Linear Systems

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2006English

Regular Linear-Time Temporal Logic

2010English

Expansion Nets: Proof-Nets for Propositional Classical Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy