Search

Search Results

• Definite Descriptions in Intuitionist Positive Free Logic

  Nils Kürbis

  227-358

  2020-11-30
• Remarks on Stable Formulas in Intuitionistic Logic

  Majid Alizadeh, Ali Bibak

  209-222

  2018-11-18
• A Simulation of Natural Deduction and Gentzen Sequent Calculus

  Daniil Kozhemiachenko

  67-84

  2017-04-24
• Reflections on temporal and modal logic

  Richard L. Epstein

  111–139

  2014-08-02
• Relevant Connexive Logic

  Nissim Francez

  409-425

  2019-01-31
• Sequent Calculi for Beginners and Professionals

  Mateusz Klonowski

  143-147

  2018-02-02
• Towards Contingent World Descriptions in Description Logics

  Farshad Badie

  115-141

  2019-06-10
• Implicational Logic, Relevance, and Refutability

  Tomasz Skura

  19-33

  2019-06-19
• Humble Connexivity

  Andreas Kapsner

  513-536

  2019-01-27
• Logic and Sets

  Marta Vlasáková

  71-95

  2019-06-19
• The logic of causal propositions

  Stanisław Kiczuk

  403-448

  2014-08-04
• A system for proper multiple-conclusion entailment

  Tomasz Skura, Andrzej Wiśniewski

  241–253

  2015-02-04
• Mereological foundations of point-free geometry via multi-valued logic

  Cristina Coppola, Giangiacomo Gerla

  535-553

  2015-11-13
• Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion

  Alex Belikov

  535-559

  2021-05-02
• On the System CB1 and a Lattice of the Paraconsistent Calculi

  Janusz Ciuciura

  223-237

  2019-12-02
• Acknowledgments

  LLP LLP

  509-510

  2014-11-23
• Logic in cognitive science

  Jacek Malinowski, Rafał Palczewski

  3–5

  2011-06-30
• In Defence of Dialetheism: A Reply to Beziau and Tkaczyk

  Ben Martin

  205-233

  2017-10-03
• An adaptive logic framework for conditional obligations and deontic dilemmas

  Christian Straßer

  95-128

  2010-06-30
• Further Reflections on Sentences Saying of Themselves Strange Things

  Elia Zardini

  563-581

  2017-03-16
• Sorites, Curry and Suitable Models

  Bruno Da Ré, Paula Teijeiro

  593-614

  2020-02-28