A Phase Semantics for Polarized Linear Logic and Second Order Conservativity

Journal of Symbolic Logic - United Kingdom
doi 10.2178/jsl/1264433910
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 Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

A Linear-Logic Semantics for Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

The Undecidability of Second Order Linear Logic Without Exponentials

Journal of Symbolic Logic
PhilosophyLogic
1996English

A First-Order Conditional Logic With Qualitative Statistical Semantics

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

Higher-Order Distributions for Differential Linear Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Two-Variable Logic With Counting and a Linear Order

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2016English

A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic

Bulletin of the American Mathematical Society
1966English

Second Order Phase Transitions

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy