Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(simple type theory). Showing records 1 – 3 of 3 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


McMaster University

1. Hu, Qian. FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS.

Degree: PhD, 2018, McMaster University

Contracts are legally enforceable agreements between two or more parties. The agreements can contain temporally based conditions, such as actions taken by the contract parties or events that happen, that trigger changes to the state of the contract when the conditions become true. Since the structure of these conditions can be very complex, it can be difficult to write contracts in a natural language in a clear and unambiguous way. A better approach is to have a formal language with a precise semantics to represent contracts. Contracts expressed in such a language have a mathematically precise meaning and can be written, analyzed, and manipulated by software. This thesis presents FCL, a formal language with a precise semantics for writing general contracts that may depend on temporally based conditions. Motivated by carefully selected examples of contracts, we derive a set of desirable requirements that a formal language of contracts should support. Based on the requirements, we clearly de ne the notion of contract and address what it means to fulfill or breach a contract. We present the formal syntax and semantics of FCL. We also successfully formalize different kinds of contracts in FCL and develop a reasoning system for FCL.

Thesis

Doctor of Philosophy (PhD)

Advisors/Committee Members: Farmer, William, Computing and Software.

Subjects/Keywords: contracts; formal languages; simple type theory; observables; deontic logic; conditional agreements; temporally based conditions

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hu, Q. (2018). FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/23049

Chicago Manual of Style (16th Edition):

Hu, Qian. “FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS.” 2018. Doctoral Dissertation, McMaster University. Accessed July 17, 2019. http://hdl.handle.net/11375/23049.

MLA Handbook (7th Edition):

Hu, Qian. “FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS.” 2018. Web. 17 Jul 2019.

Vancouver:

Hu Q. FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS. [Internet] [Doctoral dissertation]. McMaster University; 2018. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/11375/23049.

Council of Science Editors:

Hu Q. FCL: A FORMAL LANGUAGE FOR WRITING CONTRACTS. [Doctoral Dissertation]. McMaster University; 2018. Available from: http://hdl.handle.net/11375/23049


Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

2. Rouvelas, Panagiotis. Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF.

Degree: 2017, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

In this work, we present results concerning the consistency problem for the axiomatic system “New Foundations” (NF). More specifically, we study the decidability of various kinds of sentences (increasing, decreasing, existential-universal) by weak subtheories of NF. We also investigate a weaker version of the consistency problem related to a generalization of the concept of type shifting automorphism.

Στην εργασία αυτή παρουσιάζουμε αποτελέσματα που αφορούν το πρόβλημα της συνέπειας για το αξιωματικό σύστημα “New Foundations” (NF). Πιο συγκεκριμένα, μελετάμε την αποφασισιμότητα διαφόρων ειδών προτάσεων (αύξουσες, φθίνουσες, υπαρξιακές-καθολικές) από ασθενείς υποθεωρίες της NF. Ερευνούμε επίσης μία ασθενέστερη μορφή του προβλήματος της συνέπειας που σχετίζεται με μία γενίκευση της έννοιας του αυτομορφισμού μετατόπισης βαθμίδων.

Subjects/Keywords: Θεωρία συνόλων; Λογική; Απλή θεωρία τύπων; Set theory; Logic; Simple type theory; New Foundations; NF; Quine

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rouvelas, P. (2017). Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF. (Thesis). Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Retrieved from http://hdl.handle.net/10442/hedi/41152

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Rouvelas, Panagiotis. “Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF.” 2017. Thesis, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Accessed July 17, 2019. http://hdl.handle.net/10442/hedi/41152.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Rouvelas, Panagiotis. “Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF.” 2017. Web. 17 Jul 2019.

Vancouver:

Rouvelas P. Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF. [Internet] [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 2017. [cited 2019 Jul 17]. Available from: http://hdl.handle.net/10442/hedi/41152.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Rouvelas P. Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF. [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 2017. Available from: http://hdl.handle.net/10442/hedi/41152

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

3. Milliet, Cédric. Propriétés algébriques des structures menues ou minces, rang de Cantor Bendixson, espaces topologiques généralisés : Algebraic properties of small and weakly small structures, Cantor-Bendixson rank and generalised topological spaces.

Degree: Docteur es, Mathématiques, 2009, Université Claude Bernard – Lyon I

Les structures menues apparaissent dans les années 60 en lien avec la conjecture de Vaught. Les structures minces englobent à la fois les structures minimales et menues. Les ensembles définissables d'une structure mince sont rangés par le rang de Cantor-Bendixson. Nous présentons des propriétés de calcul de ce rang, une condition de chaîne descendante locale sur les groupes acl(0)-définissables ainsi qu'une notion de presque stabilisateur local, et en déduisons des propriétés algébriques des structures minces : un corps mince de caractéristique positive est localement de dimension finie sur son centre, et un groupe mince infini a un sous groupe abélien infini. Nous nous intéressons ensuite aux structures menues infiniment définissables, et montrons que les groupes d'arité finie infiniment 0-définissable sont l'intersection de groupes définissables. Nous étendons le résultat aux demi-groupes, anneaux, corps, catégories et groupoïdes infiniment 0-définissables, et donnons des résultats de définissabilité locale pour les groupes et corps simples et menus, infiniment définissables sur des paramètres quelconques. Enfin, nous réintroduisons le rang de Cantor dans son contexte topologique et montrons que la dérivée de Cantor peut être vue comme un opérateur de dérivation dans un semi-anneau d'espaces topologiques. Dans l'idée de trouver un rang de Cantor global pour les théories stables, nous essayons de nous débarrasser du mot dénombrable omniprésent lorsque l'on fait de la topologie, en le remplaçant par un cardinal régulier k. Nous développons une notion d'espace k-métrique, de k-topologie, de k-compacité etc. et montrons un k-analogue du lemme de métrisabilité d'Urysohn, et du théorème de Cantor-Bendixson.

Abstract. Small structures appear in the '60s together with Vaught's conjecture. Weakly small structures include both minimal and small structures. Definable sets in a weakly small structure are ranked by Cantor-Bendixson rank. We show computational properties of this rank, which imply a local descending chain condition on acl(0)-definable subgroups, and introduce a notion of local almost stabiliser. We deduce algebraic properties of weakly small structures. Among them, a weakly small field of positive characteristic is locally finite dimensional over its centre, and an infinite weakly small group has an infinite abelian subgroup. We then turn to small type-definable structures, showing that finitary small type 0-de_nable groups are the intersection of definable groups. We extend the result to finitary small type 0- definable monoids, rings, fields, categories and groupoids. We give local definability results concerning groups and fields type definable over an arbitrary set of parameters in small and simple theories. Finally, we reintroduce the Cantor Bendixson rank in its topological context, and show that the Cantor derivative can be seen as a derivation in a semi-ring of topological spaces. In an attempt to find a global Cantor rank for stable structures, we try to eliminate the word denumerable, omnipresent…

Advisors/Committee Members: Wagner, Frank-Olaf (thesis director).

Subjects/Keywords: Théorie des modèles; Structure menue; Structure mince; Structure stable; Structure simple; Structure infiniment définissable; Rang de Cantor-Bendixson; Topologie; Groupe abélien; Nilpotent; Model theory; Small group; Weakly small group; Type-definable group; Field abelian; Nilpotent; Cantor-Bendixson rank; Topology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Milliet, C. (2009). Propriétés algébriques des structures menues ou minces, rang de Cantor Bendixson, espaces topologiques généralisés : Algebraic properties of small and weakly small structures, Cantor-Bendixson rank and generalised topological spaces. (Doctoral Dissertation). Université Claude Bernard – Lyon I. Retrieved from http://www.theses.fr/2009LYO10265

Chicago Manual of Style (16th Edition):

Milliet, Cédric. “Propriétés algébriques des structures menues ou minces, rang de Cantor Bendixson, espaces topologiques généralisés : Algebraic properties of small and weakly small structures, Cantor-Bendixson rank and generalised topological spaces.” 2009. Doctoral Dissertation, Université Claude Bernard – Lyon I. Accessed July 17, 2019. http://www.theses.fr/2009LYO10265.

MLA Handbook (7th Edition):

Milliet, Cédric. “Propriétés algébriques des structures menues ou minces, rang de Cantor Bendixson, espaces topologiques généralisés : Algebraic properties of small and weakly small structures, Cantor-Bendixson rank and generalised topological spaces.” 2009. Web. 17 Jul 2019.

Vancouver:

Milliet C. Propriétés algébriques des structures menues ou minces, rang de Cantor Bendixson, espaces topologiques généralisés : Algebraic properties of small and weakly small structures, Cantor-Bendixson rank and generalised topological spaces. [Internet] [Doctoral dissertation]. Université Claude Bernard – Lyon I; 2009. [cited 2019 Jul 17]. Available from: http://www.theses.fr/2009LYO10265.

Council of Science Editors:

Milliet C. Propriétés algébriques des structures menues ou minces, rang de Cantor Bendixson, espaces topologiques généralisés : Algebraic properties of small and weakly small structures, Cantor-Bendixson rank and generalised topological spaces. [Doctoral Dissertation]. Université Claude Bernard – Lyon I; 2009. Available from: http://www.theses.fr/2009LYO10265

.