Narrow your search

Library

KBR (215)

ULiège (177)

KU Leuven (170)

UCLouvain (101)

ULB (81)

UGent (77)

UAntwerpen (46)

VUB (23)

Odisee (17)

Thomas More Kempen (15)

More...

Resource type

book (212)

periodical (4)

dissertation (1)


Language

English (203)

German (6)

French (3)

Dutch (1)

Spanish (1)

More...

Year
From To Submit

2023 (1)

2014 (2)

2013 (1)

2012 (1)

2011 (2)

More...
Listing 1 - 10 of 215 << page
of 22
>>
Sort by

Book
Introduccion a la logica formal
Author:
ISBN: 8420680117 Year: 1985 Volume: vol 11 Publisher: Madrid Alianza

Loading...
Export citation

Choose an application

Bookmark

Abstract

Logic colloquium '85, Orsay, France July 1985.
Authors: ---
ISBN: 0444702113 9780444702111 0444535829 9780444535825 Year: 1987 Volume: 122 Publisher: Amsterdam : North-Holland,


Periodical
The bulletin of symbolic logic.
Author:
ISSN: 19435894 10798986 Year: 1995 Publisher: Champaign, Ill. : Association for Symbolic Logic,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic (ASL) to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. Its stated purpose is to keep the logic community informed quickly of important developments in all parts of the discipline. The Bulletin of Symbolic Logic primarily publishes two types of papers: articles and communications. Articles present topics of broad interest that should be accessible to a large audience. They can be purely expository, survey, or historical articles, or they may contain, in addition, new ideas or results or new approaches to old ones. Communications are announcements of important new results and ideas. They are expected to include a description of the new work, as well as enough history, background, and explanation to make the significance of the work apparent to a wide audience. Papers in The Bulletin may deal with any aspect of logic, including mathematical or philosophical logic, logic in computer science or linguistics, the history or philosophy of logic, or applications of logic to other fields.

Logical frameworks for truth and abstraction : an axiomatic study
Author:
ISBN: 1281119962 9786611119966 0080535585 0444823069 Year: 1996 Publisher: Amsterdam ; New York : Elsevier Science B.V.,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlo


Book
Philosophy of mathematics
Author:
ISBN: 9780444515551 0444515550 9786612121029 1282121022 0080930581 9780080930589 Year: 2009 Publisher: Amsterdam ; Boston,MA : Elsevier,

Loading...
Export citation

Choose an application

Bookmark

Abstract

One of the most striking features of mathematics is the fact that we are much more certain about the mathematical knowledge we have than about what mathematical knowledge is knowledge of. Are numbers, sets, functions and groups physical entities of some kind? Are they objectively existing objects in some non-physical, mathematical realm? Are they ideas that are present only in the mind? Or do mathematical truths not involve referents of any kind? It is these kinds of questions that have encouraged philosophers and mathematicians alike to focus their attention on issues in the philosoph


Book
Symbolische logika en wetenschappen
Authors: ---
ISBN: 903340642X Year: 1983 Publisher: Leuven Acco

Ideal spaces
Author:
ISBN: 3540631607 3540691928 9783540631606 Year: 1997 Volume: 1664 Publisher: Berlin ; Heidelberg ; New York Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Ideal spaces are a very general class of normed spaces of measurable functions, which includes e.g. Lebesgue and Orlicz spaces. Their most important application is in functional analysis in the theory of (usual and partial) integral and integro-differential equations. The book is a rather complete and self-contained introduction into the general theory of ideal spaces. Some emphasis is put on spaces of vector-valued functions and on the constructive viewpoint of the theory (without the axiom of choice). The reader should have basic knowledge in functional analysis and measure theory.

Deducibility and decidability
Author:
ISBN: 9780415754965 9780415000338 0415000335 9780429274572 0429274572 9781000013696 1000013693 9781000007169 1000007162 9781000000337 1000000338 9780367223755 0367223759 Year: 2014 Publisher: London ; Routledge,


Book
Systems of logic
Author:
ISBN: 0521367700 0521365899 9780521367707 9780521365895 9780511625244 0511625243 Year: 1989 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Interesting features include a more refined treatment of modal logic and the special attention given to the weakenings of classical logic. Useful appendices provide a topical bibliography and review of basic set theory.

Listing 1 - 10 of 215 << page
of 22
>>
Sort by