Search

Search Results

• Presuppositions and the Content Implication

  Piotr Łukowski, Adam Olszewski, Konrad Rudnicki

  217-246

  2024-11-29
• Local Applications of Logics via Model-Theoretic Interpretations

  Carlos Benito-Monsalvo

  535-556

  2022-07-09
• Richard Dietz and Sebastiano Moruzzi (eds.), "Cuts and Clouds: Vagueness, its Nature, and its Logic"

  Doroteya Angelova

  97–104

  2012-03-15
• Kilwardby's 55th Lesson

  Wolfgang Lenzen

  485-504

  2020-07-15
• Simulation Logic

  Gerard Allwein, William L. Harrison, David Andrews

  277–299

  2013-09-15
• Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant

  Gemma Robles

  311-322

  2008-02-26
• Geraldine Brady, "From Peirce to Skolem. A Neglected Chapter in the History of Logic", Studies in the History and Philosophy of Mathematics, vol. 4, Elsevier, 2000

  Davide Bondoni

  353-357

  2009-03-15
• On Russell’s definition of moments of time

  Cezary Gorzka

  61-74

  1997-10-27
• Vagueness is a Kind of Conflation

  David Ripley

  115-135

  2016-07-26
• Proof theory of epistemic logic of programs

  Paolo Maffezioli, Alberto Naibo

  301–328

  2013-09-12
• Nested Sequent Calculi for Some Modal Logics with Non-Standard Modalities

  Yaroslav Petrukhin

  287-318

  2025-04-28
• Some Formal Semantics for Epistemic Modesty

  Christopher Steinsvold

  381-413

  2020-02-08
• Connecting bilattice theory with multivalued logic

  Daniele Genito, Giangiacomo Gerla

  15-45

  2013-10-09
• On axiomatization of Łukasiewicz's four-valued modal logic

  Marcin Tkaczyk

  215-232

  2011-11-30
• Richard L. Epstein, “Reasoning in Science and Mathematics: Essays on Logic as The Art of Reasoning Well”

  Penelope A. Rush

  365–371

  2013-06-13
• Relevant generalization starts here (and here = 2)

  Dmitry Zaitsev, Oleg Grigoriev

  329-340

  2010-12-30
• Derivability of rules from rule complexes

  Anna Gomolińska

  21–44

  2004-01-19
• On Brouwer’s criticism of classical logic and mathematics

  Tomasz Placek

  19-33

  2003-10-27
• On the proof-theory of a first-order extension of GL

  Yehuda Schwartz, George Tourlakis

  329–363

  2013-09-18
• On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, D*2

  Janusz Ciuciura

  235-252

  2005-12-23
• Literal and Controllable Paraconsistency

  Janusz Ciuciura

  1-19

  2024-11-02