Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Logical calculi"”.
-
Cybernetic thinking and share-price prediction
… simple linear perceptron and methods based on logical calculi are used to analyse the perceptron formulation. The theory is then tested by allowing the perceptron to make predictions and the results of these predictions are discussed in the light of the theoretical analysis. Finally suggestions …
-
Proof search issues in some non-classical logics
… in both senses. The rules of Gentzen sequent calculi are such that implementations can be directed by the top level syntax of sequents, unlike other logical calculi such as natural deduction. All the calculi for proof search in this thesis are Gentzen sequent calculi. In Chapter 2, permutation …