Szukaj

Wyniki wyszukiwania

• A Simulation of Natural Deduction and Gentzen Sequent Calculus

  Daniil Kozhemiachenko

  67-84

  24.04.2017
• A Syntactical Analysis of Lewis’s Triviality Result

  Claudio E. A. Pizzi

  417-434

  24.03.2021
• Rational Agency from a Truth-Functional Perspective

  Ekaterina Kubyshkina, Dmitry V. Zaitsev

  499-520

  15.07.2016
• A Realistic View on Normative Conflicts

  Daniela Glavaničová, Matteo Pascucci

  447-462

  04.02.2020
• Explicit Conditionals in the Framework of Classical Conditional Logic

  Claudio E. A. Pizzi

  161-187

  15.07.2019
• On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach

  Tomasz Jarmużek, Mateusz Klonowski

  335-380

  26.06.2020
• Jerzy Łoś Positional Calculus and the Origin of Temporal Logic

  Marcin Tkaczyk, Tomasz Jarmużek

  259-276

  23.09.2018
• A system for proper multiple-conclusion entailment

  Tomasz Skura, Andrzej Wiśniewski

  241–253

  04.02.2015
• Logic of Social Ontology and Łoś’s Operator

  Jacek Malinowski, Krzysztof Pietrowicz, Joanna Szalacha-Jarmużek

  239-258

  25.02.2020
• IEL-based Formal Dialogue System for Tutorials

  Paweł Łupkowski

  287-320

  21.05.2017
• The logic of causal propositions

  Stanisław Kiczuk

  403-448

  04.08.2014
• Relevant Connexive Logic

  Nissim Francez

  409-425

  31.01.2019
• Does the Implication Elimination Rule Need a Minor Premise?

  Nissim Francez

  351-373

  21.07.2017
• Connexive Extensions of Regular Conditional Logic

  Yale Weiss

  611-627

  16.08.2018
• Logic in cognitive science

  Jacek Malinowski, Rafał Palczewski

  3–5

  30.06.2011
• All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument

  Frode Alfson Bjørdal

  329-350

  04.09.2017
• Some new results on PCL1 and its related systems

  Toshiharu Waragai, Hitoshi Omori

  129-158

  30.06.2010
• Tautology Elimination, Cut Elimination, and S5

  Andrzej Indrzejczak

  461-471

  05.04.2017
• Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic

  Marcelo E. Coniglio, Martin Figallo

  171-203

  26.01.2024
• A meta-logic of inference rules: Syntax

  Alex Citkin

  313–337

  09.03.2015
• Erotetic Epistemic Logic

  Michal Peliš

  357-381

  19.04.2017