Search

Search Results

• Category Theory and Set Theory as Theories about Complementary Types of Universals

  David Ellerman

  145-162

  2016-08-05
• Simple cut elimination proof for hybrid logic

  Andrzej Indrzejczak

  129-141

  2016-04-04
• To found or not to found? That is the question!

  Davide Bondoni

  217–240

  2014-12-01
• Logic may be simple. Logic, congruence and algebra

  Jean-Yves Béziau

  129-147

  2003-10-27
• Remarks on Vasiľiev's investigations of contradictions

  Bożena Kuśnierz

  143-148

  2004-01-07
• Literal and Controllable Paraconsistency

  Janusz Ciuciura

  561-579

  2024-11-02
• The mereology of structural universals

  Peter Forrest

  259-283

  2015-05-27
• Varieties of Relevant S5

  Shawn Standefer

  53-80

  2022-03-08
• Proof Theory for Intuitionistic Stable Theories

  Paolo Maffezioli

  1-19

  2025-06-27
• Is p and ¬p a Contradiction?

  Jean-Yves Beziau

  547-560

  2025-03-11
• Discrete linear temporal logic with current time point clusters, deciding algorithms

  V. Rybakov

  143-161

  2008-06-19
• Some ontological problems concerning predication

  Marek Rosiak

  109-131

  1998-11-06
• Hegel and the Logical Form

  Vojtěch Kolman

  383-401

  2023-06-19
• Decision procedures for some strong hybrid logics

  Andrzej Indrzejczak, Michał Zawidzki

  389-409

  2013-08-29