Search

Search Results

• IEL-based Formal Dialogue System for Tutorials

  Paweł Łupkowski

  287-320

  2017-05-21
• Abduction: Some Conceptual Issues

  Mariusz Urbański, Andrzej Klawiter

  583-597

  2018-11-17
• Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems

  Tomasz Jarmużek, Francesco Paoli

  563-577

  2021-12-31
• Connexive logics. An overview and current trends

  Hitoshi Omori, Heinrich Wansing

  371-387

  2019-07-09
• A Brief Note on Béziau’s “Rather Trivial Theorem” About LP

  Luis Estrada-González

  355-361

  2019-05-17
• A mind of a non-countable set of ideas

  Alexander Citkin

  23-39

  2008-06-19
• A Classical Logic of Existence and Essence

  Sergio Galvan, Alessandro Giordani

  541-570

  2020-06-12
• Distributed Relation Logic

  Gerard Allwein, William L. Harrison, Thomas Reynolds

  19-61

  2016-07-19
• Reaching Classicality through Transitive Closure

  Quentin Blomet, Bruno Da Ré

  1-27

  2025-10-01
• Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic

  Alexander S. Gerasimov

  269-318

  2022-11-16
• On the proof-theory of a first-order extension of GL

  Yehuda Schwartz, George Tourlakis

  329–363

  2013-09-18
• A Generalisation of a Refutation-related Method in Paraconsistent Logics

  Adam Trybus

  235-261

  2018-01-25
• False Re-Representations in Self-Knowledge

  Anita Pacholik-Żuromska

  463-481

  2020-04-01
• Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

  Norihiro Kamide

  481-511

  2019-01-27
• A simple Henkin-style completeness proof for Gödel 3-valued logic G3

  Gemma Robles

  371-390

  2014-01-07
• Applications of Relating Semantics From non-classical logics to philosophy of science

  Tomasz Jarmużek, Francesco Paoli

  1-17

  2022-01-30
• Symmetric and dual paraconsistent logics

  Norihiro Kamide, Heinrich Wansing

  7-30

  2010-06-30
• A Fregean conception of singular existence

  Charles Sayward

  3-18

  2014-03-28
• S5-Style Non-Standard Modalities in a Hypersequent Framework

  Yaroslav Petrukhin

  427-456

  2021-12-16
• A propositional logic of temporal connectives

  Richard L. Epstein, Esperanza Buitrago-Díaz

  155–200

  2014-09-06
• Judging Actions on the Basis of Prima Facie Duties. The case of self-driving cars

  Piotr Kulicki, Robert Trypuz

  767-787

  2019-01-30