Towards logical operations research—propositional case

Annals of Pure and Applied Logic 113 (1-3):95-119 (2001)
  Copy   BIBTEX

Abstract

Tautology is interpreted as a necessary condition for the workability of an operations system. This condition suggests the following possibilities: the stable solvability of balance equations between available resources and requests for them; the calculation of potential and kinetic of the system together with the estimation of the contribution of every operation to the kinetic of the system; the construction of a deadlockless infinite cyclic process for performance of some works

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

Theorie der Konsequenzoperationen und logische Unabhängigkeit.Christian Wallmann - 2010 - Kriterion - Journal of Philosophy 1 (23):5-23.
Logic of proofs and provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.
Logical operations.Vann McGee - 1996 - Journal of Philosophical Logic 25 (6):567 - 580.
Modal logic and invariance.Johan Van Benthem & Denis Bonnay - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):153-173.
A simple propositional S5 tableau system.Melvin Fitting - 1999 - Annals of Pure and Applied Logic 96 (1-3):107-115.
Model completion of Lie differential fields.Yoav Yaffe - 2001 - Annals of Pure and Applied Logic 107 (1-3):49-86.
Logical problems of functional interpretations.Justus Diller - 2002 - Annals of Pure and Applied Logic 114 (1-3):27-42.
Towards a canonical classical natural deduction system.José Espírito Santo - 2013 - Annals of Pure and Applied Logic 164 (6):618-650.

Analytics

Added to PP
2014-01-16

Downloads
30 (#749,901)

6 months
11 (#343,210)

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

Add more references