Search

Search Results

• Maximality of the Minimal R-Logic

  Anna Maria Karczewska

  193-203

  2017-04-20
• Hypersequent Calculi for S5: The Methods of Cut Elimination

  Kaja Bednarska, Andrzej Indrzejczak

  277–311

  2015-08-25
• Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

  Alexander Steen, Christoph Benzmüller

  535-554

  2016-07-26
• “The whole is greater than the part.” Mereology in Euclid's Elements

  Klaus Robering

  371-409

  2016-05-27
• Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

  Daniel Rönnedal

  3-52

  2017-05-01
• A Formal Model of an Argumentative Dialogue in the Management of Emotions

  Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny, Krzysztof Rzeńca, Katarzyna Żukowska

  471-490

  2017-08-09
• Theorem proving with built-in hybrid theories

  Uwe Petermann

  77-107

  1998-11-06
• On the System CB1 and a Lattice of the Paraconsistent Calculi

  Janusz Ciuciura

  223-237

  2019-12-02
• Disjoint Logics

  Federico Pailos

  109-137

  2020-07-27
• Paraconsistency and Sette’s calculus P1

  Janusz Ciuciura

  265–273

  2015-02-06
• Analysis of Penrose’s Second Argument Formalised in DTK System

  Antonella Corradini, Sergio Galvan

  471-500

  2021-12-16
• A formal theory of physical necessity

  Marcin Tkaczyk

  65-83

  2007-07-25
• Set-theoretic mereology

  Joel David Hamkins, Makoto Kikuchi

  285-308

  2016-05-16
• The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language

  Marcin Łyczak

  39-59

  2020-07-21
• Epistemic Erotetic Search Scenarios

  Paweł Łupkowski, Ondrej Majer, Michal Peliš, Mariusz Urbański

  301-328

  2018-07-26
• A lattice for the language of Aristotle’s syllogistic and a lattice for the language of Vasiľév’s syllogistic

  Andrew Schumann

  17-37

  2006-03-26
• A Classical Logic of Existence and Essence

  Sergio Galvan, Alessandro Giordani

  541-570

  2020-06-12
• The critics of paraconsistency and of many-valuedness and the geometry of oppositions

  Alessio Moretti

  63-94

  2010-06-30
• The axiomatization of Horst Wessel’s strict logical consequence relation

  Andrzej Pietruszczak

  121-138

  2004-12-21
• A Note on Gödel’s First Disjunct Formalised in DTK System

  Antonella Corradini, Sergio Galvan

  555-565

  2024-10-23
• False Re-Representations in Self-Knowledge

  Anita Pacholik-Żuromska

  463-481

  2020-04-01