A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):117-118 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19760220114

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

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

A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.Alan Rose - 1976 - Mathematical Logic Quarterly 22 (1):117-118.
Algebraiczna semantyka dla nihilistycznych rachunków zdań.Eugeniusz Żabski - 1993 - Filozofia Nauki 4.
Theorem counting.M. G. Beavers - 1994 - Topoi 13 (1):61-65.
Every Two-valuated Propositional Calculus Has The Interpolation Property.Zdzislaw Dywan & Teodor Stepien - 1980 - Bulletin of the Section of Logic 9 (4):152-153.
The Complexity of Propositional Proofs with the Substitution Rule.Alasdair Urquhart - 2005 - Logic Journal of the IGPL 13 (3):287-291.
Reasoning processes in propositional logic.Claes Strannegård, Simon Ulfsbäcker, David Hedqvist & Tommy Gärling - 2010 - Journal of Logic, Language and Information 19 (3):283-314.
Hypersequent calculi for intuitionistic logic with classical atoms.Hidenori Kurokawa - 2010 - Annals of Pure and Applied Logic 161 (3):427-446.
A Note On Probabilistic Validity Measure In Propositional Calculi.Branislav Boricic - 1995 - Logic Journal of the IGPL 3 (5):721-724.
New sequent calculi for Visser's Formal Propositional Logic.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (5):525.
Interpolation Properties For A Class Of Many-valued Propositional Calculi.Grzegorz Malinowski & Marek Michalczyk - 1981 - Bulletin of the Section of Logic 10 (1):9-14.
On the asymptotic density of tautologies in logic of implication and negation.M. Zaionc - 2005 - Reports on Mathematical Logic:67-87.
Lectures on propositional calculi.Ryszard Wójcicki - 1984 - Ossolineum [Poland]: Pub. House of the Polish Academy of Sciences.
The complexity of propositional proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.
The complexity of propositional proofs.Alasdair Urquhart - 1995 - Bulletin of Symbolic Logic 1 (4):425-467.
A Note on Definitions in Propositional Calculi.Pierre Joray - unknown

Analytics

Added to PP
2016-02-04

Downloads
25 (#628,129)

6 months
1 (#1,470,413)

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

No references found.

Add more references