System S-bar

Bulletin of the Section of Logic 10 (2):75-78 (1981)
  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,139

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

Logic based on atomic entailment.Teodor Stepien - 1985 - Bulletin of the Section of Logic 14 (2):65-69.
Resolution system for ω+-valued logic.Ewa Orlowska - 1978 - Bulletin of the Section of Logic 7 (2):68-72.
A Gentzen system equivalent to the BCK-logic'.R. Adillon & Ventura Verdú - 1996 - Bulletin of the Section of Logic 25 (2):73-79.
The Sequent Gentzen System for m-valued Logic.Zygmunt Saloni - 1973 - Bulletin of the Section of Logic 2 (1):30-35.
Tableau System for Logic of Categorial Propositions and Decidability.Jarmużek Tomasz - 2008 - Bulletin of the Section of Logic 37 (3/4):4.
A sequent system of the logic r− for Rosser sentences2.Katsumi Sasaki & Shigeo Ohama - 2004 - Bulletin of the Section of Logic 33 (1):11-21.
Tableau system for logic of categorial propositions and decidability.Tomasz Jarmuzek - 2008 - Bulletin of the Section of Logic 37 (3/4):223-231.
Intuitionistic discursive system (ids).Janusz Ciuciura - 2000 - Bulletin of the Section of Logic 29 (1/2):57-62.
A Closure System For Elementary Situations.Boguslaw Wolniewicz - 1982 - Bulletin of the Section of Logic 11 (3-4):134-138.
On a Minimal System of Aristotle’s Syllogistic.Piotr Kulicki - 2011 - Bulletin of the Section of Logic 40 (3/4):129-145.

Analytics

Added to PP
2015-02-02

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?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references