Search

Search Results

• Pieces of mereology

  Andrzej Pietruszczak

  211-234

  2005-12-23
• Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

  Ahmad Karimi

  753-765

  2019-06-14
• Paraconsistency and Sette’s calculus P1

  Janusz Ciuciura

  265–273

  2015-02-06
• On Béziau’s logic Z

  Hitoshi Omori, Toshiharu Waragai

  305-320

  2009-03-15
• The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language

  Marcin Łyczak

  39-59

  2020-07-21
• Some remarks on axiomatizing logical consequence operations

  Jacek Malinowski

  103-117

  2005-06-23
• A propositional logic of temporal connectives

  Richard L. Epstein, Esperanza Buitrago-Díaz

  155–200

  2014-09-06
• The axiomatization of Horst Wessel’s strict logical consequence relation

  Andrzej Pietruszczak

  121-138

  2004-12-21
• Computability and human symbolic output

  Jason Megill, Tim Melvin

  391-401

  2014-04-30
• On axiomatization of Łukasiewicz's four-valued modal logic

  Marcin Tkaczyk

  215-232

  2011-11-30
• On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2

  Janusz Ciuciura

  235-252

  2005-12-23
• The Notion of Temporal Logic and the Problem of Priority

  Anna Maria Karczewska

  1-7

  2025-11-17
• Axiomatization of BLRI Determined by Limited Positive Relational Properties

  Tomasz Jarmużek, Mateusz Klonowski

  1-29

  2022-01-30
• Meet-Combination of Consequence Systems

  Paula Gouveia, João Rasga, Cristina Sernadas

  73-108

  2024-05-29
• Proof theory of epistemic logic of programs

  Paolo Maffezioli, Alberto Naibo

  301–328

  2013-09-12
• If You’re Happy, Then You Know It: The Logic of Happiness . . . and Sadness

  Sanaz Azimipour , Pavel Naumov

  403-462

  2024-02-05
• Two weak Lambek style calculi: DNL and DNL−∗

  Wojciech Zielonka

  53-64

  2012-03-15