Szukaj

Wyniki wyszukiwania

• Tautology Elimination, Cut Elimination, and S5

  Andrzej Indrzejczak

  461-471

  05.04.2017
• A meta-logic of inference rules: Syntax

  Alex Citkin

  313–337

  09.03.2015
• Maximality of the Minimal R-Logic

  Anna Maria Karczewska

  193-203

  20.04.2017
• Derivability of rules from rule complexes

  Anna Gomolińska

  21–44

  19.01.2004
• Does the Implication Elimination Rule Need a Minor Premise?

  Nissim Francez

  351-373

  21.07.2017
• Paraconsistency and Sette’s calculus P1

  Janusz Ciuciura

  265–273

  06.02.2015
• Beall-ing O

  Jeremiah Joven Joaquin

  213-221

  12.07.2019
• Admissibility of Ackermann’s rule δ in relevant logics

  Gemma Robles

  411-427

  29.08.2013
• Refutation systems for a system of nonsense-logic

  Robert Sochacki

  233-239

  30.11.2011
• The Rule of Existential Generalisation and Explicit Substitution

  Jiří Raclavský

  105-141

  10.10.2021
• Simplified Semantics for Further Relevant Logics I Unreduced Semantics for E and Π′

  Tore Fjetland Øgaard

  109-151

  27.08.2024
• Lewisian Naturalness and a new Sceptical Challenge

  Matej Drobňák

  3-28

  19.02.2021
• Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation

  José M. Méndez, Gemma Robles

  175-191

  15.03.2007
• Tonking a theory of content: an inferentialist rejoinder

  Jon Cogburn

  31-55

  21.12.2004
• A mind of a non-countable set of ideas

  Alexander Citkin

  23-39

  19.06.2008
• Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński

  Robert Sochacki

  321-327

  15.03.2009
• Symmetric and dual paraconsistent logics

  Norihiro Kamide, Heinrich Wansing

  7-30

  30.06.2010
• Guest editors’ introduction

  Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli

  5-6

  30.06.2010
• Converse Ackermann property and constructive negation defined with a negation connective

  Gemma Robles, José M. Méndez

  113-130

  26.06.2006
• On axiomatization of Łukasiewicz's four-valued modal logic

  Marcin Tkaczyk

  215-232

  30.11.2011
• Form, Content, Extensions Some Perspectives on the Early Development of Modern Logic

  Srećko Kovač

  1-33

  18.02.2026