Search

Search Results

Found 13 items.

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
On minimal models for pure calculi of names

Piotr Kulicki

429-443

2013-08-29

1 - 13 of 13 items