Search

Search Results

• On Brouwer’s criticism of classical logic and mathematics

  Tomasz Placek

  19-33

  2003-10-27
• Axiomatization of BLRI Determined by Limited Positive Relational Properties

  Tomasz Jarmużek, Mateusz Klonowski

  1-29

  2022-01-30
• On the proof-theory of a first-order extension of GL

  Yehuda Schwartz, George Tourlakis

  329–363

  2013-09-18
• On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2

  Janusz Ciuciura

  235-252

  2005-12-23
• Introduction

  Erik Weber, Dietlinde Wouters, Joke Meheus

  319–322

  2012-12-20
• Acknowledgments

  LLP LLP

  555-556

  2015-12-12
• Mereology and Infinity

  Karl-Georg Niebergall

  309-350

  2016-08-08
• Equating categorially names and quantifiers within first-order logic

  Jacek Paśniczek

  119–129

  2004-01-19
• Patterns of scientific reasoning: An introduction

  Erik Weber

  3-5

  2005-06-23
• A formal theory of physical necessity

  Marcin Tkaczyk

  65-83

  2007-07-25
• A norm-giver meets deontic action logic

  Robert Trypuz, Piotr Kulicki

  59–72

  2011-06-30
• S5-Style Non-Standard Modalities in a Hypersequent Framework

  Yaroslav Petrukhin

  427-456

  2021-12-16
• Towards intuitionistic dynamic logic

  J. W. Degen, J. M. Werner

  305-324

  2007-03-15
• The Rule of Existential Generalisation and Explicit Substitution

  Jiří Raclavský

  105-141

  2021-10-10
• Set-theoretic mereology

  Joel David Hamkins, Makoto Kikuchi

  285-308

  2016-05-16
• Are the future and the past really opacity-creating operators?

  Klaus Wuttich

  185-193

  2003-01-27
• Interpolation and implicit definability in extensions of the provability logic

  Larisa Maksimova

  129-142

  2008-06-19
• Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

  Tomasz Jarmużek

  85-101

  2007-07-25
• Incorporating the Relation into the Language? A Survey of Approaches in Relating Logic

  Luis Estrada-González, Alessandro Giordani, Tomasz Jarmużek, Mateusz Klonowski, Igor Sedlár, Andrew Tedder

  711-739

  2021-11-28
• Process in Reality: A logical offering

  Joseph E. Brenner

  165-202

  2005-12-23
• Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation

  José M. Méndez, Gemma Robles

  175-191

  2007-03-15