JSYML 2000 - PDF Preprint Papers

JSYML 2000

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed JSYML-2000 Paper

click to vote

JSYML
2000

110views more JSYML 2000»

Basic Logic: Reflection, Symmetry, Visibility

13 years 4 months ago

Download www.math.unipd.it

We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...

Giovanni Sambin, Giulia Battilotti, Claudia Faggia...

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	110	Basic Logic: Reflection, Symmetry, Visibility	claim
2	109	Categorical Quasivarieties via Morita Equivalence	claim
3	103	A Model Complete Theory of Valued D-Fields	claim
4	97	Weakly Algebraizable Logics	claim
5	85	The Logic of Choice	claim
6	78	On Quantification with A Finite Universe	claim
7	77	Formal Topologies on The Set of First-Order Formulae	claim
8	76	Located Sets and Reverse Mathematics	claim
9	71	Applications of PCF Theory	claim
10	69	Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane	claim
11	66	After All, There Are Some Inequalities Which Are Provable in ZFC	claim
12	66	A Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties	claim
13	61	Interpreting Classical Theories in Constructive Ones	claim
14	58	Maharam Spectra of Loeb Spaces	claim
15	56	Computability over The Partial Continuous Functionals	claim
16	56	Recursive in A Generic Real	claim
17	54	Stationary Sets and Infinitary Logic	claim
18	50	Model Companions of Theories with An Automorphism	claim
19	48	Two Consistency Results on Set Mappings	claim
20	47	A Note On Uniform Definability and Minimal Fields of Definition	claim
21	45	Topological Completeness for Higher-Order Logic	claim
22	41	The Real Line in Elementary Submodels of Set Theory	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers