Szukaj

Wyniki wyszukiwania

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

  David Ellerman

  145-162

  05.08.2016
• Simple cut elimination proof for hybrid logic

  Andrzej Indrzejczak

  129-141

  04.04.2016
• To found or not to found? That is the question!

  Davide Bondoni

  217–240

  01.12.2014
• Logic may be simple. Logic, congruence and algebra

  Jean-Yves Béziau

  129-147

  27.10.2003
• Remarks on Vasiľiev's investigations of contradictions

  Bożena Kuśnierz

  143-148

  07.01.2004
• Literal and Controllable Paraconsistency

  Janusz Ciuciura

  1-19

  02.11.2024
• The mereology of structural universals

  Peter Forrest

  259-283

  27.05.2015
• Varieties of Relevant S5

  Shawn Standefer

  53-80

  08.03.2022
• Discrete linear temporal logic with current time point clusters, deciding algorithms

  V. Rybakov

  143-161

  19.06.2008
• Some ontological problems concerning predication

  Marek Rosiak

  109-131

  06.11.1998
• -

  Paolo Maffezioli

  1-19

  27.06.2025
• Is p and ¬p a contradiction?

  Jean-Yves Beziau

  1-14

  11.03.2025
• Hegel and the Logical Form

  Vojtěch Kolman

  383-401

  19.06.2023
• Decision procedures for some strong hybrid logics

  Andrzej Indrzejczak, Michał Zawidzki

  389-409

  29.08.2013
• Structural features in Ernst Schröder's work. Part I

  Davide Bondoni

  327-359

  20.12.2011
• Structural features in Ernst Schröder’s work. Part II

  Davide Bondoni

  271–315

  30.08.2012