The ASn× m–propositional calculus

&
Bulletin of the Section of Logic 37 (2):67-79 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

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

iH-propositional calculus.A. Figallo Jr, G. Ramón & S. Saad - 2006 - Bulletin of the Section of Logic 35 (4):157-162.
A Predicate Calculus With Formulas Which Lose Sense And The Corresponding Propositional Calculus.Krystyna Pirog-Rzepecka - 1973 - Bulletin of the Section of Logic 2 (1):22-29.
Wajsberg's algorithm for the classical propositional calculus.Ewa Zarnecka-Bialy - 1973 - Bulletin of the Section of Logic 2 (2):97-102.
Remarks on synthetic tableaux for classical propositional calculus.Mariusz Urbanski - 2001 - Bulletin of the Section of Logic 30 (4):195-204.
Finite limitations on a propositional calculus for affirmation and negation.George Epstein & Alfred Horn - 1974 - Bulletin of the Section of Logic 3 (1):43-44.
On structural completeness of the infinite-valued Lukasiewicz's propositional calculus.Piotr Wojtylak - 1976 - Bulletin of the Section of Logic 5 (4):153-156.
Relationships between basic propositional calculus and substructural logics.Kentaro Kikuchi - 2001 - Bulletin of the Section of Logic 30 (1):15-20.
Characterization of finitely axiomatizable sets on the basis of a system of the propositional calculus.Jerzy Czajsner - 1976 - Bulletin of the Section of Logic 5 (1):25-27.
A New Variant Of The Godel-malcev Theorem For The Classical Propositional Calculus.Zdzislaw Dywan - 1985 - Bulletin of the Section of Logic 14 (1):8-12.
Normal Modal Logics In Which The Heyting Propositional Calculus Can Be Embedded.Kosta Dosen - 1988 - Bulletin of the Section of Logic 17 (1):23-30.

Analytics

Added to PP
2013-12-26

Downloads
15 (#976,359)

6 months
1 (#1,516,603)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.

Add more references