JSYML 2006 - PDF Preprint Papers

JSYML 2006

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed JSYML-2006 Paper

click to vote

JSYML
2006

124views more JSYML 2006»

Glivenko theorems for substructural logics over FL

13 years 11 months ago

Download www.jaist.ac.jp

It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provabl...

Nikolaos Galatos, Hiroakira Ono

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	124	Glivenko theorems for substructural logics over FL	claim
2	119	0-D-valued fields	claim
3	98	On weak and strong interpolation in algebraic logics	claim
4	97	The proper forcing axiom and the singular cardinal hypothesis	claim
5	91	On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories	claim
6	88	A constructive view on ergodic theorems	claim
7	87	Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF	claim
8	86	Degrees of monotone complexity	claim
9	85	On PAC and bounded substructures of a stable structure	claim
10	85	An alternative semantics for quantified relevant logic	claim
11	84	Generix never gives up	claim
12	84	Bounded modified realizability	claim
13	79	Local-global properties of positive primitive formulas in the theory of spaces of orderings	claim
14	76	Diagonal actions and Borel equivalence relations	claim
15	71	The generalised type-theoretic interpretation of constructive set theory	claim
16	69	The proof-theoretic analysis of transfinitely iterated quasi least fixed points	claim
17	64	Every 1-generic computes a properly 1-generic	claim
18	62	Uniform almost everywhere domination	claim
19	61	A remark on Zilber's pseudoexponentiation	claim
20	61	Shelah's categoricity conjecture from a successor for tame abstract elementary classes	claim
21	60	Counterexamples to the unique and cofinal branches hypotheses	claim
22	59	On a conjecture of Dobrinen and Simpson concerning almost everywhere domination	claim
23	59	Trichotomies for ideals of compact sets	claim
24	58	Strongly minimal groups in the theory of compact complex spaces	claim
25	55	On the degeneracy of the full AGM-theory of theory-revision	claim
26	54	Core models in the presence of Woodin cardinals	claim
27	46	Determinacy for games ending at the first admissible relative to the play	claim
28	43	Hyperfine structure theory and gap 1 morasses	claim
29	43	Randomness and halting probabilities	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers