Search

Search Results

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

  Alexander Karpenko, Natalya Tomova

  207-235

  2016-10-21
• A Non-Standard Kripke Semantics for the Minimal Deontic Logic

  Edson Bezerra, Giorgio Venturi

  97-107

  2020-10-08
• A Simulation of Natural Deduction and Gentzen Sequent Calculus

  Daniil Kozhemiachenko

  67-84

  2017-04-24
• The logic of causal propositions

  Stanisław Kiczuk

  403-448

  2014-08-04
• Modalities as interactions between the classical and the intuitionistic logics

  Michał Walicki

  193-215

  2007-03-15
• Propositional logic extended with a pedagogically useful relevant implication

  Diderik Batens

  245–276

  2013-09-02
• On Béziau’s logic Z

  Hitoshi Omori, Toshiharu Waragai

  305-320

  2009-03-15
• Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

  Tomasz Jarmużek

  85-101

  2007-07-25
• Classical model existence and left resolution

  Jui-Lin Lee

  323-352

  2008-02-26
• Logics for Knowability

  Mo Liu, Jie Fan, Hans van Ditmarsch, Louwe B. Kuijer

  385-426

  2021-12-08
• Pure Variable Inclusion Logics

  Francesco Paoli, Michele Pra Baldi, Damian Szmuc

  631-652

  2021-11-28
• The axiomatization of Horst Wessel’s strict logical consequence relation

  Andrzej Pietruszczak

  121-138

  2004-12-21