Search

Search Results

• On the acceptance of problem solutions derived from inconsistent constraints

  Joke Meheus

  33-46

  2004-01-18
• The modes of physical properties in the logical foundations of physics

  Sonja Smets

  37-53

  2005-06-23
• A Logic for a Critical Attitude?

  Federico Boem, Stefano Bonzio

  261-288

  2022-02-19
• Extended full computation-tree logics for paraconsistent model checking

  Norihiro Kamide

  251-276

  2007-03-15
• Connexivity and Logics of Formal Inconsistency

  Janusz Ciuciura

  1-28

  2026-07-29
• Truth vs. provability – philosophical and historical remarks

  Roman Murawski

  93–117

  2004-01-19
• Science – logic – philosophy. An old problem resuscitated

  Pavel Materna

  107–126

  2012-06-15
• Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic

  Alexander S. Gerasimov

  269-318

  2022-11-16
• Modulated logics and flexible reasoning

  Walter Carnielli, Maria Cláudia C. Grácio

  211-249

  2008-09-30
• Interactive logic in the middle ages

  Sara L. Uckelman

  439–471

  2012-12-20
• Consequential Implication and the Implicative Conditional

  Gilberto Gomes, Claudio Pizzi, Eric Raidl

  321-364

  2025-01-16
• Towards the unification of inconsistency handling mechanisms

  Diderik Batens

  5-31

  2004-01-18
• The discovery of the law of gravitation from the logical point of view

  Wojciech Sady

  25-35

  2005-06-23
• On the Maximality of Positive Properties and Modal Collapse in Variants of Gödel’s Ontological Proof for the Existence of God

  Cordelia Mühlenbeck, Christoph Benzmüller

  1-21

  2026-03-15
• Horwich's minimalist conception of truth: Some logical difficulties

  Sten Lindström

  161-181

  2004-01-19
• On the synthetic content of implicit definitions

  Demetra Christopoulou

  75-88

  2013-03-31
• Powerset residuated algebras

  Mirosława Kołowska-Gawiejnowicz

  69–80

  2013-09-17
• A systematics of deontic action logics based on Boolean algebra

  Robert Trypuz, Piotr Kulicki

  253-270

  2010-03-30
• Representing concepts in formal ontologies. Compositionality vs. typicality effects

  Marcello Frixione, Antonio Lieto

  391–414

  2012-12-20
• Jaśkowski's criterion and three-valued paraconsistent logics

  Alexander S. Karpenko

  81-86

  2004-01-07
• Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B

  Sandra M. López

  29-56

  2021-03-12