Search

Search Results

• Admissibility of cut in congruent modal logics

  Andrzej Indrzejczak

  189-203

  2011-11-30
• On relational and functional languages

  Vladimir Shalack

  25–32

  2012-03-15
• Acknowledgments

  Andrzej Pietruszczak

  795-797

  2019-10-07
• RETRACTED ARTICLE: A Completeness Theorem for a Functionally Complete Łukasiewicz Logic This article was retracted on April 9, 2026

  Víctor Aranda

  1-12

  2025-08-28
• Charting the labyrinth of Bell-type theorems

  Tomasz Placek

  93-120

  1997-10-27
• First-order anti-intuitionistic logic with apartness

  Andreas B.M. Brunner

  77-88

  2004-12-21
• Space, points and mereology. On foundations of point-free Euclidean geometry

  Rafał Gruszczyński, Andrzej Pietruszczak

  145-188

  2009-11-30
• Pure Variable Inclusion Logics

  Francesco Paoli, Michele Pra Baldi, Damian Szmuc

  631-652

  2021-11-28
• What is the logic of propositional identity?

  Charles Sayward

  3-15

  2006-03-26
• Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3

  Aldo Figallo Orellano, Miguel Pérez-Gaspar, Everardo Bárcenas

  141-158

  2022-05-24
• On causality. Ingarden's analysis vs. Jaśkowski’s logic

  Max Urchs

  55-68

  2003-01-01
• Gareth evans’s argument against vague identity

  Joanna Odrowąż-Sypniewska

  317-339

  2003-11-23
• Acknowledgments

  LLP LLP

  497-498

  2013-10-02
• Peirce and Schröder on the auflösungsproblem

  Davide Bondoni

  15-31

  2009-08-15
• On Three-Valued Dependence-Like Logics

  Yaroslav Petrukhin

  1-14

  2026-09-22
• Incompleteness, constructivism and truth

  Fabrice Pataut

  63-76

  1998-11-06
• Decision procedures for some strong hybrid logics

  Andrzej Indrzejczak, Michał Zawidzki

  389-409

  2013-08-29
• Coping with inconsistencies: Examples from the social sciences

  Erik Weber, Jeroen Van Bouwel

  89-101

  2005-06-23
• The notion of problem, intuitionism and partiality

  Pavel Materna

  287-303

  2009-03-15
• Science – logic – philosophy. An old problem resuscitated

  Pavel Materna

  107–126

  2012-06-15
• The abundance of the future. A paraconsistent approach to future contingents

  Roberto Ciuni, Carlo Proietti

  21-43

  2013-03-31