Search

Search Results

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

  Amirouche Moktefi

  277-279

  2007-03-15
• 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
• 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
• 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 Note on Contradictions in Francez-Weiss Logics

  Satoru Niki

  387-416

  2024-12-12
• 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
• Pure Variable Inclusion Logics

  Francesco Paoli, Michele Pra Baldi, Damian Szmuc

  631-652

  2021-11-28
• Is “being” predicated in only one sense, after all?

  Wojciech Żełaniec

  241-258

  1998-11-06
• Strong Kleene Logics as a Tool for Modelling Formal Epistemic Norms

  Agustina Borzi, Federico Pailos, Joaquín T. Toranzo Calderón

  615-648

  2024-11-07
• On relational and functional languages

  Vladimir Shalack

  25–32

  2012-03-15
• Analysis of Penrose’s Second Argument Formalised in DTK System

  Antonella Corradini, Sergio Galvan

  471-500

  2021-12-16