On the Synthesis of Logical Nets in Incomplete and Degenerate Basis

Journal of Symbolic Logic 36 (3):548-548 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Proof nets and the complexity of processing center embedded constructions.Mark Johnson - 1998 - Journal of Logic, Language and Information 7 (4):433-447.
Church's problem revisited.Orna Kupferman & Moshe Y. Vardi - 1999 - Bulletin of Symbolic Logic 5 (2):245-263.
Planar and braided proof-nets for multiplicative linear logic with mix.G. Bellin & A. Fleury - 1998 - Archive for Mathematical Logic 37 (5-6):309-325.
A new correctness criterion for cyclic proof nets.V. Michele Abrusci & Elena Maringelli - 1998 - Journal of Logic, Language and Information 7 (4):449-459.
Continuity of solutions of linear, degenerate elliptic equations.Jani Onninen & Xiao Zhong - 2007 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 6 (1):103-116.
Aristotelian versus Stoic logic.J. Banas - 2003 - Filozofia 58 (8):551-563.
Urmson on Russell's Incomplete Symbols.R. K. Perkins - 1972 - Analysis 32 (6):200 - 203.
A profile of masonic synthesis.Jerzy Perzanowski - 2003 - Logic and Logical Philosophy 11:167-189.

Analytics

Added to PP
2015-02-05

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