Szukaj

Wyniki wyszukiwania

• On Definability of Connectives and Modal Logics over FDE

  Sergei P. Odintsov, Daniel Skurt, Heinrich Wansing

  631-659

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

  Alexander Karpenko, Natalya Tomova

  207-235

  21.10.2016
• Connexive Conditional Logic. Part I

  Heinrich Wansing, Matthias Unterhuber

  567-610

  28.12.2018
• Supervenience, Dependence, Disjunction

  Lloyd Humberstone

  3-135

  29.05.2018
• The Modal Logic LEC for Changing Knowledge, Expressed in the Growing Language

  Marcin Łyczak

  39-59

  21.07.2020
• Neighborhood Semantics for Basic and Intuitionistic Logic

  Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki

  339–355

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

  Edson Bezerra, Giorgio Venturi

  97-107

  08.10.2020
• Logical Nihilism and the Logic of ‘prem’

  Andreas Fjellstad

  311-325

  10.11.2020
• Leibniz's laws of consistency and the philosophical foundations of connexive logic

  Wolfgang Lenzen

  537-551

  28.01.2019
• Generalized Entailments

  Andrzej Wiśniewski

  321–356

  22.05.2017
• A Simulation of Natural Deduction and Gentzen Sequent Calculus

  Daniil Kozhemiachenko

  67-84

  24.04.2017
• A system for proper multiple-conclusion entailment

  Tomasz Skura, Andrzej Wiśniewski

  241–253

  04.02.2015
• The logic of causal propositions

  Stanisław Kiczuk

  403-448

  04.08.2014
• Paraconsistency and Sette’s calculus P1

  Janusz Ciuciura

  265–273

  06.02.2015
• Some Formal Semantics for Epistemic Modesty

  Christopher Steinsvold

  381-413

  08.02.2020
• A simple Henkin-style completeness proof for Gödel 3-valued logic G3

  Gemma Robles

  371-390

  07.01.2014
• A propositional logic of temporal connectives

  Richard L. Epstein, Esperanza Buitrago-Díaz

  155–200

  06.09.2014
• A meta-logic of inference rules: Syntax

  Alex Citkin

  313–337

  09.03.2015
• False Re-Representations in Self-Knowledge

  Anita Pacholik-Żuromska

  463-481

  01.04.2020
• The philosophical logic of Stéphane Lupasco (1900–1988)

  Joseph E. Brenner

  243-285

  30.09.2010
• On Béziau’s logic Z

  Hitoshi Omori, Toshiharu Waragai

  305-320

  15.03.2009