A Predicate Calculus With Formulas Which Lose Sense And The Corresponding Propositional Calculus

Bulletin of the Section of Logic 2 (1):22-29 (1973)
  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

  • 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

Mathematical Logic: A Course with Exercises, Part 1—Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems.René Cori & Daniel Lascar - 2000 - Oxford, England: Oxford University Press. Edited by D. Lascar.
Evaluation of propositional formulas from the viewpoint of computational complexity.Ivan Kramosil - 1988 - Bulletin of the Section of Logic 17 (2):62-66.
iH-propositional calculus.A. Figallo Jr, G. Ramón & S. Saad - 2006 - Bulletin of the Section of Logic 35 (4):157-162.
On Some Applied First-Order Theories which Can Be Represented by Definitions.Vladimir Shalack - 2015 - Bulletin of the Section of Logic 44 (1/2):19-24.
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.
Remarks on discussive propositional calculus.Tomasz Furmanowski - 1975 - Bulletin of the Section of Logic 4 (1):33-36.
Hintikka formulas as axioms of refutation calculus, a case study.T. Inoué - 1995 - Bulletin of the Section of Logic 24 (2).
The ASn× m–propositional calculus.A. V. Figallo & C. A. Sanza - 2008 - Bulletin of the Section of Logic 37 (2):67-79.
Wajsberg's algorithm for the classical propositional calculus.Ewa Zarnecka-Bialy - 1973 - Bulletin of the Section of Logic 2 (2):97-102.
Wajsberg on the first-order predicate calculus for the finite models.Jan Wolenski - 1973 - Bulletin of the Section of Logic 2 (2):107-111.

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

Add more citations

References found in this work

No references found.

Add more references