Search

Search Results

Found 99 items.

A Simulation of Natural Deduction and Gentzen Sequent Calculus

Daniil Kozhemiachenko

67-84

2017-04-24
Rational Agency from a Truth-Functional Perspective

Ekaterina Kubyshkina, Dmitry V. Zaitsev

499-520

2016-07-15
A Syntactical Analysis of Lewis’s Triviality Result

Claudio E. A. Pizzi

417-434

2021-03-24
A Realistic View on Normative Conflicts

Daniela Glavaničová, Matteo Pascucci

447-462

2020-02-04
On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach

Tomasz Jarmużek, Mateusz Klonowski

335-380

2020-06-26
Explicit Conditionals in the Framework of Classical Conditional Logic

Claudio E. A. Pizzi

161-187

2019-07-15
Logic of Social Ontology and Łoś’s Operator

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

239-258

2020-02-25
A system for proper multiple-conclusion entailment

Tomasz Skura, Andrzej Wiśniewski

241–253

2015-02-04
Jerzy Łoś Positional Calculus and the Origin of Temporal Logic

Marcin Tkaczyk, Tomasz Jarmużek

259-276

2018-09-23
IEL-based Formal Dialogue System for Tutorials

Paweł Łupkowski

287-320

2017-05-21
The logic of causal propositions

Stanisław Kiczuk

403-448

2014-08-04
Does the Implication Elimination Rule Need a Minor Premise?

Nissim Francez

351-373

2017-07-21
Relevant Connexive Logic

Nissim Francez

409-425

2019-01-31
Connexive Extensions of Regular Conditional Logic

Yale Weiss

611-627

2018-08-16
Logic in cognitive science

Jacek Malinowski, Rafał Palczewski

3–5

2011-06-30
All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument

Frode Alfson Bjørdal

329-350

2017-09-04
Some new results on PCL1 and its related systems

Toshiharu Waragai, Hitoshi Omori

129-158

2010-06-30
Normal Proofs and Tableaux for the Font-Rius Tetravalent Modal Logic

Marcelo E. Coniglio, Martin Figallo

171-203

2024-01-26
Tautology Elimination, Cut Elimination, and S5

Andrzej Indrzejczak

461-471

2017-04-05
Erotetic Epistemic Logic

Michal Peliš

357-381

2017-04-19
A meta-logic of inference rules: Syntax

Alex Citkin

313–337

2015-03-09

1 - 21 of 99 items 1 2 3 4 5 > >>