𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Note on a Subsystem Of Intuitionistic Logic with Constant Domains

✍ Scribed by Pierluigi Minari

Publisher
John Wiley and Sons
Year
1987
Tongue
English
Weight
159 KB
Volume
33
Category
Article
ISSN
0044-3050

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 note on unbounded metric temporal logi
A note on unbounded metric temporal logic over dense time domains
✍ Stefano Baratella; Andrea Masini πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 114 KB πŸ‘ 1 views

## Abstract We investigate the consequences of removing the infinitary axiom and rules from a previously defined proof system for a fragment of propositional metric temporal logic over dense time (see [1]). (Β© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

A Note on a Class of Rough Maximal Opera
A Note on a Class of Rough Maximal Operators on Product Domains
✍ Yong Ding πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 65 KB

In this note we give the L ‫ޒ‬ = ‫ޒ‬ boundedness of a class of maximal Ε½ q . 2 Ε½ ny 1 my1 . singular integral operators with kernel function ⍀ in L log L S = S .