Szukaj

Wyniki wyszukiwania

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

  Alexander Karpenko, Natalya Tomova

  207-235

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

  Edson Bezerra, Giorgio Venturi

  97-107

  08.10.2020
• A Simulation of Natural Deduction and Gentzen Sequent Calculus

  Daniil Kozhemiachenko

  67-84

  24.04.2017
• The logic of causal propositions

  Stanisław Kiczuk

  403-448

  04.08.2014
• Modalities as interactions between the classical and the intuitionistic logics

  Michał Walicki

  193-215

  15.03.2007
• Propositional logic extended with a pedagogically useful relevant implication

  Diderik Batens

  245–276

  02.09.2013
• On Béziau’s logic Z

  Hitoshi Omori, Toshiharu Waragai

  305-320

  15.03.2009
• Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets

  Tomasz Jarmużek

  85-101

  25.07.2007
• Classical model existence and left resolution

  Jui-Lin Lee

  323-352

  26.02.2008
• Víctor Aranda

  Víctor Aranda Utrero

  1-12

  28.08.2025
• Logics for Knowability

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

  385-426

  08.12.2021
• Pure Variable Inclusion Logics

  Francesco Paoli, Michele Pra Baldi, Damian Szmuc

  631-652

  28.11.2021
• The axiomatization of Horst Wessel’s strict logical consequence relation

  Andrzej Pietruszczak

  121-138

  21.12.2004