Search

Search Results

• Free Definite Description Theory – Sequent Calculi and Cut Elimination

  Andrzej Indrzejczak

  505-539

  2020-10-30
• Distributed Relation Logic

  Gerard Allwein, William L. Harrison, Thomas Reynolds

  19-61

  2016-07-19
• Definite Descriptions in Intuitionist Positive Free Logic

  Nils Kürbis

  227-358

  2020-11-30
• States of Affairs as Structured Extensions in Free Logic

  Hans-Peter Leeb

  361-384

  2020-12-28
• Change in individuals without a name. Contextual indicators & the free change-adaptive logic

  Guido Vanackere

  213-230

  2003-11-23
• In defense of operational quantum logic

  Sonja Smets

  191-212

  2003-11-23
• A Fregean conception of singular existence

  Charles Sayward

  3-18

  2014-03-28
• Back to Aristotle!

  Hartley Slater

  275-283

  2011-12-20
• Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

  Yaroslav Petrukhin

  287-318

  2025-04-28
• Patterns of scientific reasoning: An introduction

  Erik Weber

  3-5

  2005-06-23
• The modes of physical properties in the logical foundations of physics

  Sonja Smets

  37-53

  2005-06-23
• EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes

  José Miguel Blanco

  75-104

  2021-08-14
• Formulas of one propositional variable in intuitionistic logic with the Solovay modality

  Leo Esakia, Revaz Grigolia

  111-127

  2008-06-19
• Topologies and free constructions

  Anna Bucalo, Giuseppe Rosolini

  327–346

  2013-06-11