Note on duality in propositional calculus

&
Notre Dame Journal of Formal Logic 9 (3):284-288 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893463

Links

PhilArchive



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

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

Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Tables for the propositional calculus (logico-mathematical brain).René Calvache - 1966 - Miami, Fla.: Miami, Fla.. Edited by Sanabria, E. F. & [From Old Catalog].
On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
Leibniz's complete propositional logic.Hector-Neri Castañeda - 1990 - Topoi 9 (1):15-28.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
A note on the system of propositional calculus with primitive rule of extensionality.K. Hałkowska - 1967 - Studia Logica 20 (1):150-150.
A note on propositional calculus.Shalom Rosenberg - 1972 - Notre Dame Journal of Formal Logic 13 (4):506-510.
A note on deduction theorem for gödel's propositional calculus G.Ewa Żarnecka-Biaŀy - 1968 - Studia Logica 23 (1):35 - 41.
Theorem counting.M. G. Beavers - 1994 - Topoi 13 (1):61-65.
A finite model theorem for the propositional μ-calculus.Dexter Kozen - 1988 - Studia Logica 47 (3):233 - 241.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Inferentializing consequence.Jaroslav Peregrin - unknown
Note to my paper: "A diagram of the functors of the two-valued propositional calculus".Thomas W. Scharle - 1962 - Notre Dame Journal of Formal Logic 3 (4):287-288.
Quantum logical calculi and lattice structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.

Analytics

Added to PP
2010-08-24

Downloads
28 (#560,541)

6 months
8 (#347,703)

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