Results 291 to 300 of about 27,177 (320)

A propositional calculus with denumerable matrix

Journal of Symbolic Logic, 1959
§1. In [1] Gödel proves the non-existence of a finite matrix characteristic for the intuitionist propositional calculus IC by the use of the finite matrices , where n is a natural number and
openaire   +2 more sources

Peirce's axioms for propositional calculus

Journal of Symbolic Logic, 1958
In 1885 Peirce axiomatised the propositional calculus on the basis of five ‘icons’ or axioms, which with Cpq for ‘If p then q’ and o for a false proposition, and with the source in Peirce's [2] beside each, may be represented as follows: 1. Cpp (3.376); 2. CCpCqrCqCpr (3.377); 3. CCpqCCqrCpr (3.379); 4. Cop (3.381); 5. CCCpqpp (3.384).
openaire   +3 more sources

Revision in propositional calculus

1991
Knowledge base revision is one of the main problems arising in knowledge representation. When a new information is added to a knowledge base, inconsistency can result In this paper, we describe a revision method for use in prepositional calculus. First, some properties of minimal inconsistent subsets are recalled, then the revision method is described.
openaire   +2 more sources

A Lattice-Diagram for the Propositional Calculus

The Mathematical Gazette, 1962
Boolean class algebra is a special case of lattice theory and it is well known that the propositional calculus is Boolean. It is also well known that there are sixteen and only sixteen truth functionally distinct relationships between two elementary propositions in the pronositional calculus.
openaire   +3 more sources

A contribution to the history of propositional calculus

Studia Logica, 1953
The anonimous scholiumOn all forms of syllogism was copied in 1884 from the Paris Codex 2064 by E. Richter. In 1899 M. Wallies published it in the preface to Ammonius' commentary on the Prior Analytics of Aristotle. There appear in that scholium, apart from the complex figure of Galenos, other characteristic forms of inference.
openaire   +2 more sources

II.—A CALCULUS FOR PROPOSITIONAL CONCEPTS

Mind, 1935
Albert A. Bennett, Charles A. Baylis
openaire   +2 more sources

Operators of Basic (or q-) Calculus and Fractional q-Calculus and Their Applications in Geometric Function Theory of Complex Analysis

Iranian Journal of Science and Technology, Transaction A: Science, 2020
H M Srivastava
exaly  

On conformable fractional calculus

Journal of Computational and Applied Mathematics, 2015
Thabet Abdeljawad
exaly  

Intention to disclose personal information via mobile applications: A privacy calculus perspective

International Journal of Information Management, 2016
Tien Wang
exaly  

Privacy concerns and benefits of engagement with social media-enabled apps: A privacy calculus perspective

Computers in Human Behavior, 2020
Mohsen Jozani, Kim-Kwang Raymond Choo
exaly