Search

Search Results

• Vincent F. Hendricks and John Symons (eds.), "Formal Philosophy", Automatic Press, 2005

  Amirouche Moktefi

  277-279

  2007-03-15
• What is the Principle of (Non-)Contradiction, Precisely? The Struggle at the Dawn of Formal Logic

  Adam Trybus

  581-602

  2024-10-26
• Varieties of Relevant S5

  Shawn Standefer

  53-80

  2022-03-08
• The RM paraconsistent refutation system

  Tomasz Skura

  65-70

  2009-08-15
• Is Transparent Intensional Logic a non-classical logic?

  Pavel Materna

  47-55

  2013-09-27
• A Logic for a Critical Attitude?

  Federico Boem, Stefano Bonzio

  261-288

  2022-02-19
• A Note on Contradictions in Francez-Weiss Logics

  Satoru Niki

  387-416

  2024-12-12
• Relating Semantics for Hyper-Connexive and Totally Connexive Logics

  Jacek Malinowski, Ricardo Arturo Nicolás-Francisco

  509-522

  2023-06-21
• The logical way of being true: Truth values and the ontological foundation of logic

  Yaroslav Shramko

  119-131

  2013-09-18
• A Completeness Theorem for a Functionally Complete Łukasiewicz Logic

  Víctor Aranda

  1-12

  2026-04-09
• The Principle of Explosion in the Stoic Logic

  Marcin Tkaczyk

  325-345

  2024-03-08
• Dyadic deontic logic and semantic tableaux

  Daniel Rönnedal

  221-252

  2010-03-30
• Criteria causing inconsistencies. General gluts as opposed to negation gluts

  Diderik Batens

  5-37

  2003-11-23
• Logic as applied Mathematics – with Particular Application to the Notion of Logical Form

  Graham Priest

  443-457

  2023-04-25
• The modes of physical properties in the logical foundations of physics

  Sonja Smets

  37-53

  2005-06-23
• Is p and ¬p a Contradiction?

  Jean-Yves Beziau

  547-560

  2025-03-11
• In what sense is Kantian principle of contradiction non-classical?

  Srećko Kovač

  251-274

  2008-09-30
• Analysis of Penrose’s Second Argument Formalised in DTK System

  Antonella Corradini, Sergio Galvan

  471-500

  2021-12-16
• Coping with inconsistencies: Examples from the social sciences

  Erik Weber, Jeroen Van Bouwel

  89-101

  2005-06-23
• Uniform Cut-Free Bisequent Calculi for Three-Valued Logics

  Andrzej Indrzejczak, Yaroslav Petrukhin

  463-506

  2024-07-26
• The causes and cures of scurvy. How modern was James Lind’s methodology?

  Erik Weber, Leen De Vreese

  55-67

  2005-06-23