| Author | Title | Volume |
|---|
| Adam Drozdek | Leibniz: Struggles with Infinity. | vol1.htm |
| Adam Grabowski and Artur Korniłowicz | Computer-Assisted Reasoning about Algebraic Topology | vol10.htm |
| Adam Naumowicz | Evaluating Prospective Built-in Elements of Computer Algebra in Mizar | vol10.htm |
| Andrew Schumann | Non-Archimedean Foundations of Mathematics | vol11.htm |
| Andrzej Malec | The Is-Ought Problem and Legal Rationality | vol11.htm |
| Andrzej Malec | A Formal Approach to Natural Law | vol11.htm |
| Andrzej Malec | Some Logical Aspects of the Accession of Poland to the European Communities | vol7.htm |
| Andrzej Malec | Two forms of legal definition - a comparison. | vol3.htm |
| Andrzej Malec | Norms and Programs. | vol1.htm |
| Andrzej Malec | Possible levels of central planning | vol5.html |
| Andrzej Malec | Legal reasoning and logic | vol4.htm |
| Anetta Breczko | The principle of responsibility in relation to biotechnological progress in medicine (fundamental moral and legal issues) | vol12.htm |
| Anna Gomolińska | Rule complexes for representing social actors and interactions. | vol3.htm |
| Anna Gomolińska | Rough Information Granules in Social Agent System Modelling | vol9.htm |
| Anna Zalewska | Problems with omega-rules in mechanization of reasoning. A comparison of two systems | vol4.htm |
| Anna Zalewska | Theorems proving in a certain sequent calculus. | vol3.htm |
| Anna Zalewska | Introductory Remarks on Inference Rules for Algorithmic Logic with Procedures | vol8.htm |
| Anna Zalewska | From the genealogy of mathematical economics: Walras, Pareto and Lange | vol5.html |
| Anna Zalewska | A Criterion of Decidability of some Algorithmic Formulas. | vol1.htm |
| Anna Zalewska | The Norms from the Point of View of a Certain Logic of Programs. | vol1.htm |
| Barbara Kudrycka | Ethical responsibility of local government officials | vol12.htm |
| Bolesław Borkowski, Arkadiusz Orłowski | Mathematical methods on commodity exchanges | vol5.html |
| Christoph E. Benzmueller and Chad E. Brown | The Curious Inference of Boolos in Mizar and OMEGA | vol10.htm |
| Christoph Schwarzweller | Mizar Attributes: A Technique to Encode Mathematical Knowledge into Type Systems | vol10.htm |
| Dariusz R. Kijowski, Marta B. Rękawek-Pachwicewicz | Responsibility in the local government under administrative law | vol12.htm |
| Dariusz Surowik | Some Remarks about Intuitionistic Tense Logic. | vol1.htm |
| Dariusz Surowik | Leonard Savage´s mathematical theory of decision | vol5.html |
| Dariusz Surowik | Tense Logics and Aristotelian Argument about Determinism | vol6.htm |
| Dariusz Surowik | Some technical results in a certain intuitionistic tense logic. | vol3.htm |
| Dariusz Surowik | Tense logic without the principle of the excluded middle. | vol3.htm |
| Dariusz Surowik | A Few Remarks on Querying Lists, Trees and Dags a Temporal-Logic Approach | vol11.htm |
| Dariusz Surowik | On the Computional Power of Some Models of Computations | vol8.htm |
| Dariusz Surowik | Temporal Logic Approach to Extensive Games | vol7.htm |
| Dariusz Surowik | Tense logics and the thesis of determinism | vol4.htm |
| Edward Bryniarski, Andrzej Krzysztof Rogalski, Urszula Wybraniec-Skardowska | The notion of the truth in systems of knowledge. | vol3.htm |
| Ewa Orłowska | Post algebras and Post logics. | vol2.htm |
| Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel | Gradual Computerisation/Formalisation of Mathematical Texts into Mizar | vol10.htm |
| Freek Wiedijk | The QED Manifesto Revisited | vol10.htm |
| Grażyna B. Szczygieł, Ewa M. Guzik-Makaruk | Disciplinary responsibility of convicts serving a sentence of imprisonment | vol12.htm |
| Grzegorz Bancerek and Michael Kohlhase | Towards a Mizar Mathematical Library in OMDoc Format | vol10.htm |
| Grzegorz Malinowski | Many-valued Post Logic. | vol2.htm |
| Grzegorz Malinowski | Lattice properties of a protologic inference | vol4.htm |
| Halina Święczkowska | Language as the Mirror of the Mind. | vol1.htm |
| Halina Święczkowska | Leibniz´s idea of thinking as computation. | vol3.htm |
| Halina Święczkowska | In Search of Language Order. G. W. Leibnitz´s "Unvorgreifliche Gedanken" | vol8.htm |
| Halina Święczkowska | On "Authorial" Version of the History of Linguistics | vol6.htm |
| Halina Święczkowska | Do we think algorithmically? | vol4.htm |
| Honorata Sosnowska | A Choice of a Pension Fund as an Example of Bounded Rationality | vol8.htm |
| Jacek Waldmajer | On Structures and their Adequacy | vol8.htm |
| Jan Woleński | Logical consequence and the limits of first-order logic | vol4.htm |
| Janusz Grzelak | The Concept of Utility. Should it be Revisited? | vol7.htm |
| Jeremy Gow and Paul Cairns | Closing the Gap Between Formal and Digital Libraries of Mathematics | vol10.htm |
| Jerzy Kopania | Methodological Description of Brain Death Definition | vol6.htm |
| Jerzy Kopania | Descartes´ Great Thesis on Nature. | vol1.htm |
| Jerzy Mycka | Empirical Aspects of Computability Theory that is: does the Univers compute better than (thoughtless) man? | vol7.htm |
| Joanna Domurat, Tadeusz Tyszka | Historic and Contemporary Controversies on the Concept of Utility | vol7.htm |
| Joerg Siekmann and Serge Autexier | Computer Supported Formal Work: Towards a Digital Mathematical Assistant | vol10.htm |
| John Harrison | Formalizing Basic Complex Analysis | vol10.htm |
| Jolanta Koszelew | Some Methods for Qualifying Properties of Probabilistic Programs. | vol2.htm |
| Katarzyna Budzyńska | Argumentation from Semantic and Pragmatic Perspective | vol7.htm |
| Katarzyna Doliwa | William of Ockham and Thomas Hobbes - On the Nature of General Concepts | vol8.htm |
| Katarzyna Doliwa | The Role of Language in the Philosophical System of Thomas Hobbes | vol6.htm |
| Katarzyna Laskowska | The subject of crime in the context of criminal responsibility (on the basis of penal codes of Poland and Russia) | vol12.htm |
| Katarzyna Zbieć | Conflict and Cooperation in Terms of Game Theory - Thomas Schelling´s Research | vol8.htm |
| Katarzyna Zbieć | The Prisoner´s Dilemma and the Game of Life | vol6.htm |
| Katarzyna Zbieć | A Linear Approximation Method in Prediction of Chaotic Time Series | vol11.htm |
| Katsumi Wasaki | A Verification for Redundant Signed Digit Adder Circuits | vol10.htm |
| Kazimierz Trzęsicki | Medical Informatics Ethics (subject and major issues) | vol8.htm |
| Kazimierz Trzęsicki | Polish Logicians' Contribution to the World's Informatics | vol11.htm |
| Kazimierz Trzęsicki | Omniscience, Omnipotence and Related Notions. | vol1.htm |
| Kazimierz Trzęsicki | From the Idea of Decidability to the Number Omega | vol9.htm |
| Krystyna Krauze-Błachowicz | Johannes Glogoviensis´ concept of construction | vol6.htm |
| Krystyna Święcka | Journalist's liability for personal interests violation in Polish law | vol12.htm |
| Makarius Wenzel | Isabelle/Isar a Generic Framework for Human-Readable Proof Documents | vol10.htm |
| Manfred Kerber and Martin Pollet | Informal and Formal Representations in Mathematics | vol10.htm |
| Mariusz Giero | Querying Temporal Database with the Language of First-Order Temporal Logic | vol11.htm |
| Michał Tempczyk | The dynamics of nonlinear systems | vol5.html |
| Mieczysław Omyła | Remarks on Non-Fregean Logic | vol10.htm |
| Mieczysław Omyła | Possible Worlds in the Language of Non-Fregean Logic | vol6.htm |
| Mieczysława Zdanowicz, Tomasz Dubowski | The liability of an individual in modern international law | vol12.htm |
| Mikołaj Jasiński | Nice, Convention, Compromises - about Procedures´ Meaning in Projected Political Institutions | vol7.htm |
| Piotr Wojtylak | Axiomatizability of Logical Matrics. | vol2.htm |
| Renata Botwina | Francis Bacon´s Natural Philosophy as a Universal Language | vol8.htm |
| Renata Jermołowicz | On the Project of a Universal Language in the Framework of the XVII Century Philosophy | vol6.htm |
| Renata Jermołowicz | Remarks on Adam Smith´s Lectures on Rhetoric and Belles Lettres | vol7.htm |
| Robert Kublikowski | Circular Definition | vol8.htm |
| Roman Matuszewski | Formal mathematical texts. Towards their rendering into natural language | vol4.htm |
| Roman Matuszewski | On Computer-assisted Approach to Formalized Reasoning | vol9.htm |
| Roman Matuszewski | A structural approach to human oriented presentation of formal proofs. | vol3.htm |
| Roman Matuszewski | On natural language presentation of formal mathematical texts. | vol3.htm |
| Roman Murawski | The Present State of Mechanized Deduction, and the Present Knowledge of its Limitations | vol9.htm |
| Roman Murawski | John von Neumann and Hilbert´s School of Foundations of Mathematics | vol7.htm |
| Roman Murawski | E. L. Post and the development of mathematical logic and recursion theory. | vol2.htm |
| Roman Murawski | On proofs of the consistency of arithmetic | vol4.htm |
| Roy McCasland, Alan Bundy, and Serge Autexier | Automated Discovery of Inductive Theorems | vol10.htm |
| Simon Czarnik | Voluntary and Forced Redistribution under Democratic Rule | vol7.htm |
| Stanisław Prutis | Taking responsibility for prevention and fight against corruption in local governments | vol12.htm |
| Tadeusz Tyszka | Remarks of the psychologist on Hayek´s ideas about the role of knowledge in economic planning | vol5.html |
| Teresa Mróz | Entrepreneur's liability in front of the consumer as a specific kind of contract liability | vol12.htm |
| Thomas C. Hales | Jordan´s Proof of the Jordan Curve Theorem | vol10.htm |
| Tom R. Burns, Ewa Roszkowska | Generalized Game Theory: Assumptions, Principles, and Elaborations Grounded in Social Theory | vol8.htm |
| Urszula Wybraniec-Skardowska | A formal-logical approach to the problem of imprecision. | vol2.htm |
| Vitaly. I. Levin | Basic Concepts of Continuous Logic | vol11.htm |
| Walerian Sanetra | Responsibility in labour law - basic notional issues | vol12.htm |
| Wiesław Banach | Hayek: an idea of self-organization and critique of the constructivist utopia | vol5.html |
| Wiktor Dańko, Jolanta Koszelew | The Post correspondence problem as a tool for proving undecidability in logics of probabilistic programs. | vol2.htm |
| William M. Farmer | Chiron: A Multi-Paradigm Logic | vol10.htm |
| Witold Marciszewski | Post´s Problem of Creativity and "Nature as Infinite Intelligence". | vol2.htm |
| Witold Marciszewski | Polish Notation, Well-Ordering, and Praxeology | vol7.htm |
| Witold Marciszewski | Hypercomputational vs. computational complexity. A challenge for methodology of the social sciences | vol5.html |
| Witold Marciszewski | Challenges for the Logic of Social Research: to Grasp Rationality, to Deal with Complexity | vol7.htm |
| Witold Marciszewski | Leibniz´s Idea of Automated Reasoning Compared with Modern AI. | vol1.htm |
| Witold Marciszewski | Wspomnienia i projekty jubileuszowe z okazji dwudziestego tomu rocznika "Studies in Logic, Grammar and Rhetoric" (Anniversarial Rememberings and Projects on the Occasion ot the Twenteenth Volume "Stud | vol7.htm |
| Witold Marciszewski | A Comment on Hayek´s Ideas of Free Market and Civilization as discussed in his lecture. The Defense of Our Civilization Against Intellectual Error | vol6.htm |
| Witold Marciszewski | On Mechanization of Reasoning, Decidability of Logic, and Uncomputable Numbers | vol6.htm |
| Witold Marciszewski | Three essays in the modern mathesis universalis. | vol3.htm |
| Witold Marciszewski | Computational Dynamics of Complex Systems. A New Way of Doing Science | vol11.htm |
| Witold Marciszewski | Leibniz´s mathematical and philosophical aprroaches to actual infinity. A case of cultuaral resistance | vol4.htm |
| Witold Marciszewski | Undecidability and Intractability in Social Sciences | vol9.htm |
| Witold Marciszewski | The Godelian Speed-up and Other Strategies to Address Decidability and Tractability. Editorial Comment on this Volume | vol9.htm |
| Witold Marciszewski | Can Turing-Post Machine Produce Prerequisites for Automated Reasoning? Introduction to this volume. | vol2.htm |
| Xiquan Liang, Fuguo Ge, and Li Yan | Some Logical Aspects of Mathematical Reasoning | vol10.htm |
| Yasunari Shidama, Noburu Endou, and Pauline N. Kawamoto | On the Formalization of Lebesgue Integrals | vol10.htm |
| Yatsuka Nakamura | Proving the Correctness of Functional Programs using Mizar | vol10.htm |
| Zenon Sadowski | On the development of Emil Post´s ideas in structural complexity theory. | vol2.htm |
| Zinaida Trybulec and Halina Święczkowska | Some Remarks on The Language of Mathematical Texts | vol10.htm |