Search

Search Results

• Distributed Relation Logic

  Gerard Allwein, William L. Harrison, Thomas Reynolds

  19-61

  2016-07-19
• Modalities as interactions between the classical and the intuitionistic logics

  Michał Walicki

  193-215

  2007-03-15
• Decidability of mereological theories

  Hsing-chien Tsai

  45-63

  2009-08-15
• On the homogeneous countable Boolean contact algebra

  Ivo Düntsch, Sanjiang Li

  213–251

  2013-06-11
• Connecting bilattice theory with multivalued logic

  Daniele Genito, Giangiacomo Gerla

  15-45

  2013-10-09
• Special Issue on point-free geometry and topology. An introduction

  Cristina Coppola, Giangiacomo Gerla

  139–143

  2013-06-11
• 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
• Space, points and mereology. On foundations of point-free Euclidean geometry

  Rafał Gruszczyński, Andrzej Pietruszczak

  145-188

  2009-11-30
• Dynamic relational mereotopology: Logics for stable and unstable relations

  Vladislav Nenchev

  295–325

  2013-06-11