Volume 3(16), 1999: Topics in Logic, Informatics and Philosophy of Science

Home Page	Description	Editors	Author index	Submission information

Volume XII/XIII 1993/94	Volume 1 (14) 1997	Volume 2 (15) 1998	Volume 3 (16) 1999	Volume 4 (17) 2001
Volume 5 (18) 2002	Volume 6 (19) 2003

Volume 3 (16) 1999:
Topics in Logic, Informatics and Philosophy of Science

Witold Marciszewski

Three essays in the modern mathesis universalis.

Halina Święczkowska
   Leibniz's idea of thinking as computation.

Edward Bryniarski, Andrzej Krzysztof Rogalski, Urszula Wybraniec Skardowska
   The notion of the truth in systems of knowledge.

Anna Zalewska
   Theorems proving in a certain sequent calculus.

ISBN 83-87884-51-0

Roman Matuszewski
   On natural language presentation of formal mathematical texts.

Roman Matuszewski
   A structural approach to human oriented presentation of formal proofs.

Anna Gomolińska
   Rule complexes for representing social actors and interactions.

Dariusz Surowik
   Tense logic without the principle of the excluded middle.

Dariusz Surowik
   Some technical results in a certain intuitionistic tense logic.

Andrzej Malec
   Two forms of legal definition - a comparison.