All Stories

  1. Valuation Semantics for First-Order Logics of Evidence and Truth
  2. On Barrio, Lo Guercio, and Szmuc on Logics of Evidence and Truth
  3. Formalization of mathematics through proof assistants
  4. Society semantics and the logic way to collective intelligence
  5. Non-deterministic Semantics in Polynomial Format
  6. Model theory for first-order logics of formal inconsistency
  7. Book Reviews: Ernst Schröder, Parafrasi Schröderiane. Ovvero: Ernst Schröder, Leoperazioni del Calcolo Logico
  8. Special Issue on Multimodal Logics: A Preface
  9. On Discourses Addressed by Infidel Logicians
  10. Paul Bernays and the Eve of Non-standard Models in Logic
  11. The Single-minded Pursuit of Consistency and its Weakness
  12. POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES
  13. Model-Based Reasoning in Science and Technology
  14. On a Theoretical Analysis of Deceiving: How to Resist a Bullshit Attack
  15. Interpolation via translations
  16. Meeting Hintikka's Challenge to Paraconsistentism
  17. New Dimensions on Translations Between Logics
  18. Modulated logics and flexible reasoning
  19. Modalities and Multimodalities
  20. Logics of Formal Inconsistency
  21. Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole
  22. Book Reviews: Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge
  23. A Paraconsistent Decagon
  24. Anti-intuitionism and paraconsistency
  25. Book Reviews: Claude P. Bruter (editor), Mathematics in Art: Mathematical Visualization in Art and Education
  26. Formal inconsistency and evolutionary databases
  27. Modulated fibring and the collapsing problem
  28. Computability. Computable Functions, Logic, and the Foundations of Mathematics
  29. A Logical Framework for Integrating Inconsistent Information in Multiple Databases
  30. 6th Workshop on Logic, Language, Information and Computation (Wollic '99)
  31. Limits for Paraconsistent Calculi
  32. Fuzzy fusion of results of medical image segmentation
  33. Advances in Contemporary Logic and Computer Science
  34. Finite and infinite-valued logics: inference, algebra and geometry
  35. Society semantics and multiple-valued logics
  36. Maximal weakly-intuitionistic logics
  37. Some results on polarized partion relations of higher dimension
  38. Razão e irracionalidade na representação do conhecimento
  39. Methods and Applications of Mathematical Logic
  40. Systematization of finite many-valued logics through the method of tableaux
  41. The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3‐Valued Logics
  42. On paraconsistent deontic logic
  43. Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985
  44. On covering and coloring problems for rook domains
  45. Paraconsistent algebras
  46. Transfinite Induction on Ordinal Configurations
  47. Logics For Qualitative Reasoning
  48. Two’s Company: “The Humbug of Many Logical Values”
  49. New trends: Network fibring
  50. Fibring higher-order logics
  51. Summing-up and outlook
  52. Splicing logics: Syntactic fibring
  53. Fibring first-order logics
  54. Fibring non-truth functional logics
  55. Heterogeneous fibring
  56. Splitting logics
  57. Two's Company: “The Humbug of Many Logical Values”
  58. Introductory overview
  59. Splicing logics: Semantic fibring
  60. Modulated fibring