Szukaj

Wyniki wyszukiwania

• Dialogue Games for Minimal Logic

  Alexandra Pavlova

  281-309

  10.11.2020
• Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic

  Alexander Steen, Christoph Benzmüller

  535-554

  26.07.2016
• Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence

  Alexander Karpenko, Natalya Tomova

  207-235

  21.10.2016
• Classical Logic and the Liar

  Yannis Stephanou

  35-56

  14.06.2019
• Distributed Relation Logic

  Gerard Allwein, William L. Harrison, Thomas Reynolds

  19-61

  19.07.2016
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  08.10.2020
• Partial and paraconsistent three-valued logics

  Vincent Degauquier

  143-171

  27.02.2016
• Classical mereology is not elementarily axiomatizable

  Andrzej Pietruszczak

  485-498

  22.08.2015
• The lattice of Belnapian modal logics: Special extensions and counterparts

  Sergei P. Odintsov, Stanislav O. Speranski

  3-33

  25.02.2016
• Explicit Conditionals in the Framework of Classical Conditional Logic

  Claudio E. A. Pizzi

  161-187

  15.07.2019
• A Simulation of Natural Deduction and Gentzen Sequent Calculus

  Daniil Kozhemiachenko

  67-84

  24.04.2017
• Vagueness and Formal Fuzzy Logic: Some Criticisms

  Giangiacomo Gerla

  431-460

  15.11.2017
• On classical behavior of intuitionistic modalities

  Sergey Drobyshevich

  79–104

  16.08.2014
• Sequent Calculi for Beginners and Professionals

  Mateusz Klonowski

  143-147

  02.02.2018
• The logic of causal propositions

  Stanisław Kiczuk

  403-448

  04.08.2014
• The Case of Dialetheism

  Marcin Tkaczyk

  203-224

  07.06.2016
• A Classical Logic of Existence and Essence

  Sergio Galvan, Alessandro Giordani

  541-570

  12.06.2020
• Boolean Connexive Logics: Semantics and tableau approach

  Tomasz Jarmużek, Jacek Malinowski

  427-448

  27.01.2019
• Change in individuals without a name. Contextual indicators & the free change-adaptive logic

  Guido Vanackere

  213-230

  23.11.2003
• Pragmatic and dialogic interpretations of bi-intuitionism. Part I

  Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi, Alessandro Menti

  449-480

  03.06.2014
• Paranormal modal logic – Part I. The system K? and the foundations of the logic of skeptical and credulous plausibility

  Ricardo Sousa Silvestre

  65–95

  15.03.2012