Studia Logica
Encyclopedia
Studia Logica is an international journal
Academic journal
An academic journal is a peer-reviewed periodical in which scholarship relating to a particular academic discipline is published. Academic journals serve as forums for the introduction and presentation for scrutiny of new research, and the critique of existing research...

 of mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...

 and logic
Logic
In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...

. The scope of the journal is all scientific disciplines, however the main criterion for publication is not the scope of the submission, but rather the use of formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...

. The journal is published by the Institute of Philosophy and Sociology of the Polish Academy of Sciences
Polish Academy of Sciences
The Polish Academy of Sciences, headquartered in Warsaw, is one of two Polish institutions having the nature of an academy of sciences.-History:...

 and Springer publications
Springer Science+Business Media
- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...

.

Its publication began in 1934 in Warsaw, but stopped in 1937. It had been published continuously since December 1953 in changing frequency by the Polish Academy of Sciences. Articles used to appear in Polish, Russian German, English or French, and their summaries or full translations in at least two of the languages. Kazimierz Ajdukiewicz
Kazimierz Ajdukiewicz
Kazimierz Ajdukiewicz was a Polish philosopher and logician, a prominent figure in the Lwów–Warsaw school of logic. He originated many novel ideas in semiotics, including the "categorial grammar" used by many formal linguists...

 was chief editor until his death in 1963. The position was later taken by Jerzy Słupecki (1963-1970), Klemens Szaniawski (1970-1974). Under the editorship of Ryszard Wójcicki (1975-1980), who later headed the journal as chairman of the editorial board, Studia Logica moved to publish in English only, and partnered with a Dutch international distributor. It is edited since 2006 by Jacek Malinowski
Jacek Malinowski
- External links :*...

.

External links

The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK