A Natural Deduction Relevance Logic

The Bulletin of the Section of Logic 6 (4):164-168 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Natural Deduction Relevance Logic.Frederic Johnson - 1977 - Bulletin of the Section of Logic 6 (4):164-168.
Natural deduction in quantifier modal logic.A. Indrzejczak - 1994 - Bulletin of the Section of Logic 23 (1):30-40.
NUL-natural deduction for ultrafilter logic.Christian Jacques Renterıa, Edward Hermann Haeusler & Paulo As Veloso - 2003 - Bulletin of the Section of Logic 32 (4):191-199.
A natural deduction system for ctl.Christian Jacques Renterıa & Edward Hermann Haeusler - 2002 - Bulletin of the Section of Logic 31 (4):231-240.
Resolution based natural deduction.Andrzej Indrzejczak - 2002 - Bulletin of the Section of Logic 31 (3):159-170.
Natural deduction system for tense logics.Andrzej Indrzejczak - 1994 - Bulletin of the Section of Logic 23 (4):173-179.
An Alternative Natural Deduction for the Intuitionistic Propositional Logic.Mirjana Ilić - 2016 - Bulletin of the Section of Logic 45 (1).
Deduction chains and dc-like decision procedure for guarded logic.Andrei Kouznetsov - 2004 - Bulletin of the Section of Logic 33 (1):53-65.
Stoic “undemonstrables” and indirect-deduction theorems.Grzegorz Bryll & Zofia Kostrzycka - 1994 - Bulletin of the Section of Logic 23 (2):53-60.
Deduction Theorems For Rm And Its Extensions.Marek Tokarz - 1977 - Bulletin of the Section of Logic 6 (2):67-69.

Analytics

Added to PP
2014-10-11

Downloads
772 (#33,996)

6 months
92 (#69,971)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Frederick Johnson
Colorado State University

Citations of this work

Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.

Add more citations

References found in this work

Add more references