𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on full intuitionistic linear logic

✍ Scribed by G.M. Bierman

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
382 KB
Volume
79
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on dual-intuitionistic logic
A note on dual-intuitionistic logic
✍ Norihiro Kamide πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 91 KB πŸ‘ 1 views

## Abstract Dual‐intuitionistic logics are logics proposed by Czermak (1977), Goodman (1981) and Urbas (1996). It is shown in this paper that there is a correspondence between Goodman's dual‐intuitionistic logic and Nelson's constructive logic N^βˆ’^.

A comparison between lambek syntactic ca
A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
✍ V. Michele Abrusci πŸ“‚ Article πŸ“… 1990 πŸ› John Wiley and Sons 🌐 English βš– 252 KB

A COMPARISON BETWEEN LAMBEK SYNTACTIC CALCULUS ASD INTUITIONISTIC LINEAR PROPOSITIONAL LOGIC by V. MICHELE ABRUSCI in Bari (Italy) ## 1. Synt,ax Let us consider LAMBEK'S syntactic calculus LSC as formulated in BUSZKOWSKI [ Z ] in an axiomatization very close to GEmZEN's sequential formalism. We d

A note on Grzegorczyk's logic
A note on Grzegorczyk's logic
✍ Emil JeΕ™Γ‘bek πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 71 KB

## Abstract Grzegorczyk's modal logic (Grz) corresponds to the class of upwards well‐founded partially ordered Kripke frames, however all known proofs of this fact utilize some form of the Axiom of Choice; G. Boolos asked in [1], whether it is provable in plain ZF. We answer his question negatively