Search

Search Results

Found 96 items.

A Simulation of Natural Deduction and Gentzen Sequent Calculus

Daniil Kozhemiachenko

67-84

2017-04-24
Explicit Conditionals in the Framework of Classical Conditional Logic

Claudio E. A. Pizzi

161-187

2019-07-15
On Three Axiom Systems for Classical Mereology

Achille C. Varzi

203-207

2018-10-30
Natural Deduction for Three-Valued Regular Logics

Yaroslav Petrukhin

197-206

2016-08-29
The Logical Burdens of Proof. Assertion and Hypothesis

Daniele Chiffi, Fabien Schang

509-530

2017-04-14
Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox

Daniel Rönnedal

3-52

2017-05-01
Logic of Social Ontology and Łoś’s Operator

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

239-258

2020-02-25
On Logical Characterisation of Human Concept Learning based on Terminological Systems

Farshad Badie

545-566

2017-07-24
A Defeasible Calculus for Zetetic Agents

Jared Millson

3-37

2020-10-11
Mereology with Super-Supplementation Axioms. A Reconstruction of the Unpublished Manuscript of Jan F. Drewnowski

Kordula Świętorzecka, Marcin Łyczak

189-211

2019-09-28
A Realistic View on Normative Conflicts

Daniela Glavaničová, Matteo Pascucci

447-462

2020-02-04
Connexive Extensions of Regular Conditional Logic

Yale Weiss

611-627

2018-08-16
Quantified temporal alethic-deontic logic

Daniel Rönnedal

19–59

2014-08-02
Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion

Alex Belikov

535-559

2021-05-02
Natural Deduction for Four-Valued both Regular and Monotonic Logics

Yaroslav Petrukhin

53-66

2017-01-31
On Definability of Connectives and Modal Logics over FDE

Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

631-659

2019-04-11
A systematics of deontic action logics based on Boolean algebra

Robert Trypuz, Piotr Kulicki

253-270

2010-03-30
Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic

Ahmad Karimi

753-765

2019-06-14
Meet-Combination of Consequence Systems

Paula Gouveia, João Rasga, Cristina Sernadas

73-108

2024-05-29
Conceptual and derivation systems

Jiří Raclavský, Petr Kuchyňka

159–174

2011-06-30
Connexive Conditional Logic. Part I

Heinrich Wansing, Matthias Unterhuber

567-610

2018-12-28

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