Natural deduction in quantifier modal logic

Bulletin of the Section of Logic 23 (1):30-40 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

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 Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (2):81-97.
A Natural Deduction Relevance Logic.Fred Johnson - 1977 - The Bulletin of the Section of Logic 6 (4):164-168.
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.
A Natural Deduction Relevance Logic.Frederic Johnson - 1977 - Bulletin of the Section of Logic 6 (4):164-168.
The first list of the deduction theorems characteristic for several modal calculi formalized after the manner of Lemmon.Jerzy Perzanowski - 1972 - Bulletin of the Section of Logic 1 (4):21-31.
Admissibility of cut in congruent modal logics.Andrzej Indrzejczak - 2011 - Logic and Logical Philosophy 20 (3):189-203.
An Alternative Natural Deduction for the Intuitionistic Propositional Logic.Mirjana Ilić - 2016 - Bulletin of the Section of Logic 45 (1).

Analytics

Added to PP
2014-01-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Andrzej Indrzejczak
University of Lodz

Citations of this work

Add more citations

References found in this work

No references found.

Add more references