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:(Intuitionistic Logic). Showing records 1 – 23 of 23 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of British Columbia

1. Criscuolo, Giovanni. Semantic studies of intuitionistic logic .

Degree: 1972, University of British Columbia

 This thesis is a study of intuitionistic semantics as presented by Beth [2] and Kripke [12], using the usual methods of investigation of classical informal… (more)

Subjects/Keywords: Intuitionistic mathematics; Logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Criscuolo, G. (1972). Semantic studies of intuitionistic logic . (Thesis). University of British Columbia. Retrieved from http://hdl.handle.net/2429/33644

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):

Criscuolo, Giovanni. “Semantic studies of intuitionistic logic .” 1972. Thesis, University of British Columbia. Accessed September 19, 2019. http://hdl.handle.net/2429/33644.

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

MLA Handbook (7th Edition):

Criscuolo, Giovanni. “Semantic studies of intuitionistic logic .” 1972. Web. 19 Sep 2019.

Vancouver:

Criscuolo G. Semantic studies of intuitionistic logic . [Internet] [Thesis]. University of British Columbia; 1972. [cited 2019 Sep 19]. Available from: http://hdl.handle.net/2429/33644.

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

Council of Science Editors:

Criscuolo G. Semantic studies of intuitionistic logic . [Thesis]. University of British Columbia; 1972. Available from: http://hdl.handle.net/2429/33644

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


Wesleyan University

2. Karker, Mary Leah. Two Applications of Topology to the Study of Non-Classical Logics.

Degree: Mathematics, 2016, Wesleyan University

  This thesis consists of two separate chapters, each exploring a different connection between logic and topology. Chapter 1 concerns product constructions within the continuous-logic(more)

Subjects/Keywords: model theory; continuous logic; metric structures; intuitionistic logic; Scott's model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Karker, M. L. (2016). Two Applications of Topology to the Study of Non-Classical Logics. (Doctoral Dissertation). Wesleyan University. Retrieved from https://wesscholar.wesleyan.edu/etd_diss/63

Chicago Manual of Style (16th Edition):

Karker, Mary Leah. “Two Applications of Topology to the Study of Non-Classical Logics.” 2016. Doctoral Dissertation, Wesleyan University. Accessed September 19, 2019. https://wesscholar.wesleyan.edu/etd_diss/63.

MLA Handbook (7th Edition):

Karker, Mary Leah. “Two Applications of Topology to the Study of Non-Classical Logics.” 2016. Web. 19 Sep 2019.

Vancouver:

Karker ML. Two Applications of Topology to the Study of Non-Classical Logics. [Internet] [Doctoral dissertation]. Wesleyan University; 2016. [cited 2019 Sep 19]. Available from: https://wesscholar.wesleyan.edu/etd_diss/63.

Council of Science Editors:

Karker ML. Two Applications of Topology to the Study of Non-Classical Logics. [Doctoral Dissertation]. Wesleyan University; 2016. Available from: https://wesscholar.wesleyan.edu/etd_diss/63


Macquarie University

3. Burke, Matthew. Synthetic Lie theory.

Degree: 2015, Macquarie University

Empirical thesis.

Bibliography: pages 159-161.

Introduction  – 1. Synthetic differential geometry  – 2. Factorisation systems  – 3. Paths in categories  – 4. Synthetic lie theory… (more)

Subjects/Keywords: Lie groups; synthetic differential geometry; lie theory; category theory; intuitionistic logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Burke, M. (2015). Synthetic Lie theory. (Doctoral Dissertation). Macquarie University. Retrieved from http://hdl.handle.net/1959.14/1068205

Chicago Manual of Style (16th Edition):

Burke, Matthew. “Synthetic Lie theory.” 2015. Doctoral Dissertation, Macquarie University. Accessed September 19, 2019. http://hdl.handle.net/1959.14/1068205.

MLA Handbook (7th Edition):

Burke, Matthew. “Synthetic Lie theory.” 2015. Web. 19 Sep 2019.

Vancouver:

Burke M. Synthetic Lie theory. [Internet] [Doctoral dissertation]. Macquarie University; 2015. [cited 2019 Sep 19]. Available from: http://hdl.handle.net/1959.14/1068205.

Council of Science Editors:

Burke M. Synthetic Lie theory. [Doctoral Dissertation]. Macquarie University; 2015. Available from: http://hdl.handle.net/1959.14/1068205


Clemson University

4. Doyle, Edward. Two Categories of Refutation Decision Procedures for Classical and Intuitionistic Propositional Logic.

Degree: PhD, Computer Science, 2008, Clemson University

 An automatic theorem prover is a computer program that proves theorems without the assistance of a human being. Theorem proving is an important basic tool… (more)

Subjects/Keywords: Automatic Theorem Proving; Intuitionistic Logic; Logic; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Doyle, E. (2008). Two Categories of Refutation Decision Procedures for Classical and Intuitionistic Propositional Logic. (Doctoral Dissertation). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_dissertations/324

Chicago Manual of Style (16th Edition):

Doyle, Edward. “Two Categories of Refutation Decision Procedures for Classical and Intuitionistic Propositional Logic.” 2008. Doctoral Dissertation, Clemson University. Accessed September 19, 2019. https://tigerprints.clemson.edu/all_dissertations/324.

MLA Handbook (7th Edition):

Doyle, Edward. “Two Categories of Refutation Decision Procedures for Classical and Intuitionistic Propositional Logic.” 2008. Web. 19 Sep 2019.

Vancouver:

Doyle E. Two Categories of Refutation Decision Procedures for Classical and Intuitionistic Propositional Logic. [Internet] [Doctoral dissertation]. Clemson University; 2008. [cited 2019 Sep 19]. Available from: https://tigerprints.clemson.edu/all_dissertations/324.

Council of Science Editors:

Doyle E. Two Categories of Refutation Decision Procedures for Classical and Intuitionistic Propositional Logic. [Doctoral Dissertation]. Clemson University; 2008. Available from: https://tigerprints.clemson.edu/all_dissertations/324

5. Goudsmit, J.P. Intuitionistic Rules : Admissible Rules of Intermediate Logics.

Degree: 2015, University Utrecht

 In this thesis, we investigate the admissible rules of intermediate logics. On the one hand, one can characterize the admissibility of rules in certain logic,… (more)

Subjects/Keywords: intermediate logic; intuitionistic logic; admissible rules; unification; Visser rules

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Goudsmit, J. P. (2015). Intuitionistic Rules : Admissible Rules of Intermediate Logics. (Doctoral Dissertation). University Utrecht. Retrieved from http://dspace.library.uu.nl/handle/1874/312180 ; URN:NBN:NL:UI:10-1874-312180 ; urn:isbn:978-94-6203-823-3 ; URN:NBN:NL:UI:10-1874-312180 ; http://dspace.library.uu.nl/handle/1874/312180

Chicago Manual of Style (16th Edition):

Goudsmit, J P. “Intuitionistic Rules : Admissible Rules of Intermediate Logics.” 2015. Doctoral Dissertation, University Utrecht. Accessed September 19, 2019. http://dspace.library.uu.nl/handle/1874/312180 ; URN:NBN:NL:UI:10-1874-312180 ; urn:isbn:978-94-6203-823-3 ; URN:NBN:NL:UI:10-1874-312180 ; http://dspace.library.uu.nl/handle/1874/312180.

MLA Handbook (7th Edition):

Goudsmit, J P. “Intuitionistic Rules : Admissible Rules of Intermediate Logics.” 2015. Web. 19 Sep 2019.

Vancouver:

Goudsmit JP. Intuitionistic Rules : Admissible Rules of Intermediate Logics. [Internet] [Doctoral dissertation]. University Utrecht; 2015. [cited 2019 Sep 19]. Available from: http://dspace.library.uu.nl/handle/1874/312180 ; URN:NBN:NL:UI:10-1874-312180 ; urn:isbn:978-94-6203-823-3 ; URN:NBN:NL:UI:10-1874-312180 ; http://dspace.library.uu.nl/handle/1874/312180.

Council of Science Editors:

Goudsmit JP. Intuitionistic Rules : Admissible Rules of Intermediate Logics. [Doctoral Dissertation]. University Utrecht; 2015. Available from: http://dspace.library.uu.nl/handle/1874/312180 ; URN:NBN:NL:UI:10-1874-312180 ; urn:isbn:978-94-6203-823-3 ; URN:NBN:NL:UI:10-1874-312180 ; http://dspace.library.uu.nl/handle/1874/312180


Universidade do Rio Grande do Norte

6. Costa, Claudilene Gomes da. Probabilidades imprecisas: intervalar, fuzzy e fuzzy intuicionista .

Degree: 2012, Universidade do Rio Grande do Norte

 The idea of considering imprecision in probabilities is old, beginning with the Booles George work, who in 1854 wanted to reconcile the classical logic, which… (more)

Subjects/Keywords: Probabilidade Intervalar. Número Fuzzy. Probabilidade Fuzzy. Número Fuzzy Intuicionista. Probabilidade Fuzzy Intuicionista, Cadeias de Markov; Interval Probability. Fuzzy Number. Fuzzy Probability. Intuitionistic Fuzzy Logic. Intuitionistic Fuzzy Number. Intuitionistic Fuzzy Probability. Markov Chains

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Costa, C. G. d. (2012). Probabilidades imprecisas: intervalar, fuzzy e fuzzy intuicionista . (Doctoral Dissertation). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/15202

Chicago Manual of Style (16th Edition):

Costa, Claudilene Gomes da. “Probabilidades imprecisas: intervalar, fuzzy e fuzzy intuicionista .” 2012. Doctoral Dissertation, Universidade do Rio Grande do Norte. Accessed September 19, 2019. http://repositorio.ufrn.br/handle/123456789/15202.

MLA Handbook (7th Edition):

Costa, Claudilene Gomes da. “Probabilidades imprecisas: intervalar, fuzzy e fuzzy intuicionista .” 2012. Web. 19 Sep 2019.

Vancouver:

Costa CGd. Probabilidades imprecisas: intervalar, fuzzy e fuzzy intuicionista . [Internet] [Doctoral dissertation]. Universidade do Rio Grande do Norte; 2012. [cited 2019 Sep 19]. Available from: http://repositorio.ufrn.br/handle/123456789/15202.

Council of Science Editors:

Costa CGd. Probabilidades imprecisas: intervalar, fuzzy e fuzzy intuicionista . [Doctoral Dissertation]. Universidade do Rio Grande do Norte; 2012. Available from: http://repositorio.ufrn.br/handle/123456789/15202


Universidade do Rio Grande do Norte

7. Costa, Claudilene Gomes da. Probabilidades imprecisas: intervalar, fuzzy e fuzzy intuicionista .

Degree: 2012, Universidade do Rio Grande do Norte

 The idea of considering imprecision in probabilities is old, beginning with the Booles George work, who in 1854 wanted to reconcile the classical logic, which… (more)

Subjects/Keywords: Probabilidade Intervalar. Número Fuzzy. Probabilidade Fuzzy. Número Fuzzy Intuicionista. Probabilidade Fuzzy Intuicionista, Cadeias de Markov; Interval Probability. Fuzzy Number. Fuzzy Probability. Intuitionistic Fuzzy Logic. Intuitionistic Fuzzy Number. Intuitionistic Fuzzy Probability. Markov Chains

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Costa, C. G. d. (2012). Probabilidades imprecisas: intervalar, fuzzy e fuzzy intuicionista . (Thesis). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/15202

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):

Costa, Claudilene Gomes da. “Probabilidades imprecisas: intervalar, fuzzy e fuzzy intuicionista .” 2012. Thesis, Universidade do Rio Grande do Norte. Accessed September 19, 2019. http://repositorio.ufrn.br/handle/123456789/15202.

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

MLA Handbook (7th Edition):

Costa, Claudilene Gomes da. “Probabilidades imprecisas: intervalar, fuzzy e fuzzy intuicionista .” 2012. Web. 19 Sep 2019.

Vancouver:

Costa CGd. Probabilidades imprecisas: intervalar, fuzzy e fuzzy intuicionista . [Internet] [Thesis]. Universidade do Rio Grande do Norte; 2012. [cited 2019 Sep 19]. Available from: http://repositorio.ufrn.br/handle/123456789/15202.

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

Council of Science Editors:

Costa CGd. Probabilidades imprecisas: intervalar, fuzzy e fuzzy intuicionista . [Thesis]. Universidade do Rio Grande do Norte; 2012. Available from: http://repositorio.ufrn.br/handle/123456789/15202

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


Pontifical Catholic University of Rio de Janeiro

8. VICTOR LUIS BARROSO NASCIMENTO. [en] LOGICAL ECUMENISM.

Degree: 2018, Pontifical Catholic University of Rio de Janeiro

[pt] A história recente da Lógica Matemática foi marcada por alguns conflitos entre diferentes correntes filosóficas, cada uma buscando contextualizar a atividade matemática a partir… (more)

Subjects/Keywords: [pt] LOGICA INTUICIONISTA; [en] INTUITIONISTIC LOGIC; [pt] LOGICA CLASSICA; [en] CLASSICAL LOGIC; [pt] ECUMENISMO LOGICO; [en] LOGICAL ECUMENISM; [pt] LOGICA MINIMAL; [en] MINIMAL LOGIC

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

NASCIMENTO, V. L. B. (2018). [en] LOGICAL ECUMENISM. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=34598

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):

NASCIMENTO, VICTOR LUIS BARROSO. “[en] LOGICAL ECUMENISM.” 2018. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed September 19, 2019. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=34598.

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

MLA Handbook (7th Edition):

NASCIMENTO, VICTOR LUIS BARROSO. “[en] LOGICAL ECUMENISM.” 2018. Web. 19 Sep 2019.

Vancouver:

NASCIMENTO VLB. [en] LOGICAL ECUMENISM. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2018. [cited 2019 Sep 19]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=34598.

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

Council of Science Editors:

NASCIMENTO VLB. [en] LOGICAL ECUMENISM. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2018. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=34598

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


McGill University

9. Tennenhouse, Karen Heather. Some results concerning intuitionistic logical categories.

Degree: MS, Department of Mathematics, 1975, McGill University

Subjects/Keywords: Intuitionistic mathematics.; Logic, Symbolic and mathematical.; Categories (Mathematics)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tennenhouse, K. H. (1975). Some results concerning intuitionistic logical categories. (Masters Thesis). McGill University. Retrieved from http://digitool.library.mcgill.ca/thesisfile46068.pdf

Chicago Manual of Style (16th Edition):

Tennenhouse, Karen Heather. “Some results concerning intuitionistic logical categories.” 1975. Masters Thesis, McGill University. Accessed September 19, 2019. http://digitool.library.mcgill.ca/thesisfile46068.pdf.

MLA Handbook (7th Edition):

Tennenhouse, Karen Heather. “Some results concerning intuitionistic logical categories.” 1975. Web. 19 Sep 2019.

Vancouver:

Tennenhouse KH. Some results concerning intuitionistic logical categories. [Internet] [Masters thesis]. McGill University; 1975. [cited 2019 Sep 19]. Available from: http://digitool.library.mcgill.ca/thesisfile46068.pdf.

Council of Science Editors:

Tennenhouse KH. Some results concerning intuitionistic logical categories. [Masters Thesis]. McGill University; 1975. Available from: http://digitool.library.mcgill.ca/thesisfile46068.pdf


McGill University

10. Brierley, William. Undecidability of intuitionistic theories.

Degree: MA, Department of Mathematics and Statistics., 1985, McGill University

Subjects/Keywords: Intuitionistic mathematics; Definability theory (Mathematical logic); Model theory; Logic, Symbolic and mathematical

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brierley, W. (1985). Undecidability of intuitionistic theories. (Masters Thesis). McGill University. Retrieved from http://digitool.library.mcgill.ca/thesisfile66016.pdf

Chicago Manual of Style (16th Edition):

Brierley, William. “Undecidability of intuitionistic theories.” 1985. Masters Thesis, McGill University. Accessed September 19, 2019. http://digitool.library.mcgill.ca/thesisfile66016.pdf.

MLA Handbook (7th Edition):

Brierley, William. “Undecidability of intuitionistic theories.” 1985. Web. 19 Sep 2019.

Vancouver:

Brierley W. Undecidability of intuitionistic theories. [Internet] [Masters thesis]. McGill University; 1985. [cited 2019 Sep 19]. Available from: http://digitool.library.mcgill.ca/thesisfile66016.pdf.

Council of Science Editors:

Brierley W. Undecidability of intuitionistic theories. [Masters Thesis]. McGill University; 1985. Available from: http://digitool.library.mcgill.ca/thesisfile66016.pdf

11. Goudsmit, J.P. Intuitionistic Rules : Admissible Rules of Intermediate Logics.

Degree: 2015, Universiteit Utrecht

 In this thesis, we investigate the admissible rules of intermediate logics. On the one hand, one can characterize the admissibility of rules in certain logic,… (more)

Subjects/Keywords: intermediate logic; intuitionistic logic; admissible rules; unification; Visser rules

…7.2. Characterising Medvedev’s logic . . . . . . . . . . . . . . 7.3. Admissible… …Bibliography 251 List of Figures 283 List of Tables 285 Index 287 A. Problems from the Logic… …When one is given a logic, there are two fundamentally distinct ways in which one can proceed… …logic’s proofs. Second, one could study the body of theorems this logic yields, all the while… …theorems of this logic, for instance by means of an algorithm or some sort of models. Moreover… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Goudsmit, J. P. (2015). Intuitionistic Rules : Admissible Rules of Intermediate Logics. (Doctoral Dissertation). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/312180

Chicago Manual of Style (16th Edition):

Goudsmit, J P. “Intuitionistic Rules : Admissible Rules of Intermediate Logics.” 2015. Doctoral Dissertation, Universiteit Utrecht. Accessed September 19, 2019. http://dspace.library.uu.nl:8080/handle/1874/312180.

MLA Handbook (7th Edition):

Goudsmit, J P. “Intuitionistic Rules : Admissible Rules of Intermediate Logics.” 2015. Web. 19 Sep 2019.

Vancouver:

Goudsmit JP. Intuitionistic Rules : Admissible Rules of Intermediate Logics. [Internet] [Doctoral dissertation]. Universiteit Utrecht; 2015. [cited 2019 Sep 19]. Available from: http://dspace.library.uu.nl:8080/handle/1874/312180.

Council of Science Editors:

Goudsmit JP. Intuitionistic Rules : Admissible Rules of Intermediate Logics. [Doctoral Dissertation]. Universiteit Utrecht; 2015. Available from: http://dspace.library.uu.nl:8080/handle/1874/312180


University of Edinburgh

12. Wallen, Lincoln A. Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics.

Degree: PhD, 1987, University of Edinburgh

 In this thesis we develop efficient methods for automated proof search within an important class of mathematical logics. The logics considered are the varying, cumulative… (more)

Subjects/Keywords: 621.3822; Automatic theorem proving; mathematical logics; intuitionistic logic.; matrix proof methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wallen, L. A. (1987). Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/6600

Chicago Manual of Style (16th Edition):

Wallen, Lincoln A. “Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics.” 1987. Doctoral Dissertation, University of Edinburgh. Accessed September 19, 2019. http://hdl.handle.net/1842/6600.

MLA Handbook (7th Edition):

Wallen, Lincoln A. “Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics.” 1987. Web. 19 Sep 2019.

Vancouver:

Wallen LA. Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics. [Internet] [Doctoral dissertation]. University of Edinburgh; 1987. [cited 2019 Sep 19]. Available from: http://hdl.handle.net/1842/6600.

Council of Science Editors:

Wallen LA. Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics. [Doctoral Dissertation]. University of Edinburgh; 1987. Available from: http://hdl.handle.net/1842/6600

13. 鈴木, 康人. 推移フレーム上の様相命題演算子を持たない命題言語とその埋め込み.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

Supervisor:小野 寛晰

情報科学研究科

博士

Subjects/Keywords: 直観主義論理, 様相論理, 双対性, クリプキフレーム; intuitionistic logic, basic logic, modal logic, du

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

鈴木, . (n.d.). 推移フレーム上の様相命題演算子を持たない命題言語とその埋め込み. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/878

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

鈴木, 康人. “推移フレーム上の様相命題演算子を持たない命題言語とその埋め込み.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed September 19, 2019. http://hdl.handle.net/10119/878.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

鈴木, 康人. “推移フレーム上の様相命題演算子を持たない命題言語とその埋め込み.” Web. 19 Sep 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

鈴木 . 推移フレーム上の様相命題演算子を持たない命題言語とその埋め込み. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Sep 19]. Available from: http://hdl.handle.net/10119/878.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

鈴木 . 推移フレーム上の様相命題演算子を持たない命題言語とその埋め込み. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/878

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

14. 野村, 尚新. 動的認識論理のラベル付きシークエント計算の研究.

Degree: 博士(情報科学), 2016, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

Supervisor:東条 敏

情報科学研究科

博士

Subjects/Keywords: Dynamic Epistemic Logic; Public Announcement Logic; Intuitionistic Public Announcement Logic; Logic of Epistemic Actions and Knowledge; Labelled Sequent Calculus; Admissibility of Cut; Validity of Sequents

Page 1 Page 2 Page 3

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

野村, . (2016). 動的認識論理のラベル付きシークエント計算の研究. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/13517

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):

野村, 尚新. “動的認識論理のラベル付きシークエント計算の研究.” 2016. Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed September 19, 2019. http://hdl.handle.net/10119/13517.

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

MLA Handbook (7th Edition):

野村, 尚新. “動的認識論理のラベル付きシークエント計算の研究.” 2016. Web. 19 Sep 2019.

Vancouver:

野村 . 動的認識論理のラベル付きシークエント計算の研究. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; 2016. [cited 2019 Sep 19]. Available from: http://hdl.handle.net/10119/13517.

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

Council of Science Editors:

野村 . 動的認識論理のラベル付きシークエント計算の研究. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; 2016. Available from: http://hdl.handle.net/10119/13517

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

15. 菊池, 健太郎. 時間性を表現する含意を持つ論理.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

Supervisor:石原 哉

情報科学研究科

修士

Subjects/Keywords: クリプキセマンティクス,直観主義論理,完全性,埋め込み; Kripke semantics, intuitionistic logic, completene

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

菊池, . (n.d.). 時間性を表現する含意を持つ論理. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1237

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

菊池, 健太郎. “時間性を表現する含意を持つ論理.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed September 19, 2019. http://hdl.handle.net/10119/1237.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

菊池, 健太郎. “時間性を表現する含意を持つ論理.” Web. 19 Sep 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

菊池 . 時間性を表現する含意を持つ論理. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Sep 19]. Available from: http://hdl.handle.net/10119/1237.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

菊池 . 時間性を表現する含意を持つ論理. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1237

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

16. 立澤, 正博. 直観主義論理に基づく理論体系の保守的拡大に関する研究.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

Supervisor:石原哉

情報科学研究科

修士

Subjects/Keywords: 直観主義論理, 保守的拡大, negative translation, $-translation; intuitionistic logic, conservative extension, negative translation, $-translation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

立澤, . (n.d.). 直観主義論理に基づく理論体系の保守的拡大に関する研究. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/4758

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

立澤, 正博. “直観主義論理に基づく理論体系の保守的拡大に関する研究.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed September 19, 2019. http://hdl.handle.net/10119/4758.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

立澤, 正博. “直観主義論理に基づく理論体系の保守的拡大に関する研究.” Web. 19 Sep 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

立澤 . 直観主義論理に基づく理論体系の保守的拡大に関する研究. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Sep 19]. Available from: http://hdl.handle.net/10119/4758.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

立澤 . 直観主義論理に基づく理論体系の保守的拡大に関する研究. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/4758

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

17. 平田, 晋也. 直観主義論理に基づくトポス意味論に関する研究.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

Supervisor:石原 哉 准教授

情報科学研究科

修士

Subjects/Keywords: 直観主義論理、圏、トポス、層、空間性トポス; intuitionistic logic, category, topos, sheaf, spatial topos

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

平田, . (n.d.). 直観主義論理に基づくトポス意味論に関する研究. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/8144

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

平田, 晋也. “直観主義論理に基づくトポス意味論に関する研究.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed September 19, 2019. http://hdl.handle.net/10119/8144.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

平田, 晋也. “直観主義論理に基づくトポス意味論に関する研究.” Web. 19 Sep 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

平田 . 直観主義論理に基づくトポス意味論に関する研究. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Sep 19]. Available from: http://hdl.handle.net/10119/8144.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

平田 . 直観主義論理に基づくトポス意味論に関する研究. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/8144

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.


Pontifical Catholic University of Rio de Janeiro

18. GEIZA MARIA HAMAZAKI DA SILVA. [en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS.

Degree: 2004, Pontifical Catholic University of Rio de Janeiro

[pt] Garantir que programas são implementados de forma a cumprir uma especificação é uma questão fundamental em computação, por isso, têm sido propostos vários métodos… (more)

Subjects/Keywords: [pt] SINTESE DE PROGRAMAS; [en] PROGRAM SYNTHESIS; [pt] LOGICA INTUICIONISTA; [en] INTUITIONISTIC LOGIC; [pt] DEDUCAO NATURAL; [en] NATURAL DEDUCTION

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

SILVA, G. M. H. D. (2004). [en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5443

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):

SILVA, GEIZA MARIA HAMAZAKI DA. “[en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS.” 2004. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed September 19, 2019. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5443.

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

MLA Handbook (7th Edition):

SILVA, GEIZA MARIA HAMAZAKI DA. “[en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS.” 2004. Web. 19 Sep 2019.

Vancouver:

SILVA GMHD. [en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2004. [cited 2019 Sep 19]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5443.

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

Council of Science Editors:

SILVA GMHD. [en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2004. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5443

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

19. 石田, 泰三. 直観主義論理に対する図を用いた推論システムの構築.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

Supervisor:東条 敏

情報科学研究科

修士

Subjects/Keywords: 直観主義論理,図による推論,Hasse図,Venn図; intuitionistic logic, reasoning with a diagram, Ha

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

石田, . (n.d.). 直観主義論理に対する図を用いた推論システムの構築. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1465

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

石田, 泰三. “直観主義論理に対する図を用いた推論システムの構築.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed September 19, 2019. http://hdl.handle.net/10119/1465.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

石田, 泰三. “直観主義論理に対する図を用いた推論システムの構築.” Web. 19 Sep 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

石田 . 直観主義論理に対する図を用いた推論システムの構築. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Sep 19]. Available from: http://hdl.handle.net/10119/1465.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

石田 . 直観主義論理に対する図を用いた推論システムの構築. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1465

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

20. 丸山, 哲. 非古典論理に対するシーケント計算における効率的な証明探索法.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

小野寛晰

情報科学研究科

修士

Subjects/Keywords: sequent 計算, 直観主義論理, 定理自動証明, Standard ML; sequent calculi, intuitionistic logic, theorem pro

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

丸山, . (n.d.). 非古典論理に対するシーケント計算における効率的な証明探索法. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1644

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

丸山, 哲. “非古典論理に対するシーケント計算における効率的な証明探索法.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed September 19, 2019. http://hdl.handle.net/10119/1644.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

丸山, 哲. “非古典論理に対するシーケント計算における効率的な証明探索法.” Web. 19 Sep 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

丸山 . 非古典論理に対するシーケント計算における効率的な証明探索法. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Sep 19]. Available from: http://hdl.handle.net/10119/1644.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

丸山 . 非古典論理に対するシーケント計算における効率的な証明探索法. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1644

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

21. 萩原, 信吾. 複数の否定を表現するオーダーソート論理の研究.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

Supervisor:東条 敏

情報科学研究科

修士

Subjects/Keywords: 直観主義論理,オーダーソート論理,二重否定,強い否定,弱い否定; Intuitionistic Logic,Order-sorted Logic,Double Neg

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

萩原, . (n.d.). 複数の否定を表現するオーダーソート論理の研究. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1792

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

萩原, 信吾. “複数の否定を表現するオーダーソート論理の研究.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed September 19, 2019. http://hdl.handle.net/10119/1792.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

萩原, 信吾. “複数の否定を表現するオーダーソート論理の研究.” Web. 19 Sep 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

萩原 . 複数の否定を表現するオーダーソート論理の研究. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Sep 19]. Available from: http://hdl.handle.net/10119/1792.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

萩原 . 複数の否定を表現するオーダーソート論理の研究. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1792

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

22. 橋本, 安司. 直観主義様相論理の意味論的研究.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

Supervisor:小野 寛晰

情報科学研究科

修士

Subjects/Keywords: 直観主義様相論理、様相ハイティング代数、直観主義様相フレーム、クリプキ完全性、有限モデル性; intuitionistic modal logic, modal Heyting algebra

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

橋本, . (n.d.). 直観主義様相論理の意味論的研究. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/1171

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

橋本, 安司. “直観主義様相論理の意味論的研究.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed September 19, 2019. http://hdl.handle.net/10119/1171.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

橋本, 安司. “直観主義様相論理の意味論的研究.” Web. 19 Sep 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

橋本 . 直観主義様相論理の意味論的研究. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2019 Sep 19]. Available from: http://hdl.handle.net/10119/1171.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

橋本 . 直観主義様相論理の意味論的研究. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/1171

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

23. Urban, William John. Sexuated Topology and the Suspension of Meaning: A Non-Hermeneutical Phenomenological Approach to Textual Analysis.

Degree: PhD, Humanities, 2014, York University

 This study assumes the subject's pursuit of meaning is generally incapacitating and should be suspended. It aims to demonstrate how such a suspension is theoretically… (more)

Subjects/Keywords: Philosophy; Logic; Philosophy of science; Saussure; Christian Fierens; Formulae of sexuation; Sexuated formulae; Discourse Analysis; History of Linguistics; Philology; Psychoanalysis; Mathematics; Applied Mathematics; Geometry and Topology; Geometric Topology; Logic and Foundations of Mathematics; Modal Logic; Intuitionistic Logic; Set theory; Gender Studies; Diachronic Linguistics (or Historical Linguistics); Philosophy; Philosophy of Mind; Applied Philosophy; Medieval Philosophy; Kant; Philosophical Psychology; Logic; Critical Discourse Studies; Humanities; Sex and Gender; Women's Studies; Feminist Theory; Languages and Linguistics; Social Research Methods and Methodology; Art Theory; Research Methods and Methodology; Plato; Aristotle; Research Methodology; Structuralism (Literary Criticism); History of Mathematics; Low dimensional topology; General topology; Literature; Place and Identity; Philosophical Theology; Hermeneutics (Research Methodology); Set Theoretic Topology; Language and Gender; Space and Place; History of Psychoanalysis; Philosophy of Psychoanalysis; Temporal and Modal Logic; Textual Scholarship; Schleiermacher (Research Methodology); Ranciere; Literary Criticism; Nonsense; Feminist Philosophy; Textual Criticism; Theories of Meaning; Jean-Luc Nancy; Theoretical Psychology; Sex; Sexuality; Masculine Sexuality; Deconstruction; Gender and Sexuality; Phenomenological Psychology; Hermeneutics; Reformation History; Reformation Studies; Reformation Theology; Phenomenology; Wilhelm Dilthey; Philosophy of Art; Theological Hermeneutics; Theological Interpretation of Christian Scripture; Jurgen Habermas Lacan; Jungian psychology; Narrative and interpretation; Discourse; Continental Philosophy; History of Logic; Kant-studies; Subject of Experience; Algebraic Topology; Dream work; Contemporary French Philosophy; Gender; Sexual Selection; Gender Equality; Place Identity; Applied Linguistics; Literary Theory; Hegel; Kant's Practical Philosophy; Gilles Deleuze; Friedrich Nietzsche; Walter Benjamin; Jacques Lacan; Gaston Bachelard; Maurice Merleau-Ponty; Slavoj Žižek; Edmund Husserl; Martin Heidegger; Sigmund Freud; Jacques Rancière; Paul Ricoeur; Lacanian theory; Gender Discourse; Interpretive research methodology; Intertextuality; Hans-Georg Gadamer; Subjectivity (Identity Politics); Feminism; Psychoanalytic Philosophy; Critical Discourse Analysis; Algebra and Topology; Philosophical Logic; Interpretive Research (Research Methods); Deleuze; Theory of Space; Reformation and Post-Reformation; Meaning; Michel Foucault; Jacques Derrida; Theories of Gender and Transgender; Sense of Place; Language and Identity; Philosophy of Logic; Nietzsche; Schleiermacher (Philosophy); Schleiermacher; Subjectivity in Discourse; Theological exegesis; Georg Friedrich Wilhem Hegel; Emmanuel Kant; Julia Kristeva; Phenomenology of the body; Philosophy of Time; Gender and Sexuality Studies; Topology; Hermeneutic Phenomenology; Freud and Lacan; Structuralism/Post-Structuralism; Genders and Sexualities; Linguistics; Rereading and Intertextuality; Immanuel Kant; Baudrillard; Alain Badiou; Jean-Paul Sartre; Mathematical Modeling; Space And Place (Art); Psychoanalysis And Literature; Art and Interpretation; Early Heidegger; Mathematical Modelling; Legal interpretation; Ancient Philosophy; Psychoanalytic Theory of Art; Interpretive Phenomenological Analysis; Germanic Philology; Bertrand Russell; Mathematical Logic; Derridean Deconstruction; Jacques Ranciere; G.W.F. Hegel; Language; Heidegger; Aristotelian Logic; Linguistic Theory; Carl G. Jung; Text Linguistics; Constructions of femininity; Sexual Identity; Structuralism (Philosophy); History of Psychoanalysis (History); Theoretical Linguistics; Pure Mathematics; Text and Image; The Sublime; Freud and Feminist Psychoanalysis; History of Interpretation; Claude Lévi-Strauss; Singularity Theory; Philosophy of Sex; Plato and Platonism; Aristotle's Commentators; Interpretive Methods; Aristotle's underlying logic; Space and Time (Philosophy); Paul Ricoeur (in ) Philosophy; Aristotelianism; Benjamin; Walter; Husserl; Phenomenology (Research Methodology); Experiences of Place and Space; Translation and Interpretation; Feminist Research Methods; Zizek; Biblical interpretation; Managing subjectivity; Literary approaches to Biblical Studies; Philosophy of Language (Humanities); Dreams; Phenomenology of the Body (Philosophy); Phenomenology of Space and Place; Merleau-Ponty; Merleau-Ponty's Ontology; Platonism; Algebra & Algebraic topology; Phenomenology of temporality; Habermas; Textual criticism (Classics); Subjectivity Studies; Derrida; Badiou; Psychoanalytic Criticism; Psychoanalysis (Art History); Ricoeur; Feminist Literary Theory and Gender Studies; Feminism(s); Space; Rancière; Gottlob Frege; Interpretative Phenomenological Analysis; Gender identity; Discourse Analysis (Research Methodology); Textual Studies; Logical Paradox; Jacques Derrida & Deconstruction; Heidegger and critique of subjectivity; Jean Baudrillard; Construction of Meaning; Non-Classical Logic; Structural Analysis; Textual Criticism (Religion); Biblical Medieval Exegesis; Discourse Theory; Informal Logic; Roman ingarden; Early Edmund Husserl; Sexual Orientation; Textual criticism (Humanities); Sex and Sexuality; Sexuality Studies; Psychoanalysis and art; Psychoanalytic Theory; Literature and Psychoanalysis; Husserlian phenomenology; Hegel (Philosophy); Heidegger's being and time; Set Theory (Philosophy); Post-Structuralism; Meaning making; Jakobson; Roman; Hayden White; Biblical Exegesis; Žižek; Alienation; Sublime; Structuralism; Benjamin; Jean-François Lyotard; Philosophical Methodology; Identity; Lacanian psychoanalysis; Aesthetic theory; Plato and Aristotle; Francis Bacon (Painter); Gadamer; Ferdinand de Saussure; Place; Derrida and Deconstruction; Mathematic; Literary studies; Sartre; Sense-making; Phenomenology; Hermeneutics; Contemporary continental philosophy; Axiology (theories and applied research on values); Philosophical and cultural anthropology; Diversity management; Gender studies; Intercultural communication; Translations studies; Human Sexuality; Woman; Subjectivity; Research methods in applied linguistics; Woman Studies; Literary Research; Logical Paradoxes; Sexual difference theory; Singularity; Ancient Greek Philosophy; Aristotle; Deconstructionism; Subject Formation; Experience; Post-Freudian Psychoanalysis; Philosophical Foundations of Set Theory; Structuralism/Post-structuralism; Biblical Literature and Hermeneutics (esp. New Testament); Philosophical Hermeneutics; Dream analysis; Social Sciences and Humanities; Karl-Otto Apel; Phenomenology- Mind/Body Problems; Merleau-Ponty's Philosophical Thought; Phenomenology and Embodiment; Wolfgang Iser; Reformation; H. R. Jauss; Sex Difference; New testament exegesis; Philosophy of Language (esp. Wittgenstein, Rule-following, and the Normality of Meaning); Theoretical Philosophy; Mathematical Analysis; Literary Theory and Criticism; Discourse Studies; History of Exegesis; Post Structuralism; Philosophy of the Subject; Aesthetic Experience; Exegesis; Text Analysis; Textual Criticism; Old and New Testament; Jürgen Habermas; Surface; Method; Axiomatic Set Theory; Structuralism (philosophy of mathematics); Alenka Zupancic; Logical reasoning; Protestant Reformation; Wilhelm von Humboldt; Georges Poulet; Alain Badiou; Set theory; Philosophical use of mathematics; Psychoanalytical Criticism; Friedrich Schleiermacher; Bachelard; Rudolf Bultmann; Aesthetic; Humanities and Social Sciences; Research Method; Textual analysis; Carl Jung and Dreams; Hermes; Biblical Hermeneutics; Kristeva; Lyotard; Aristotle's philosophy of language; Johann Gustav Droysen; Singularity analysis; Freudian Literary Theory; Saussure; Language; Post-structuralism (especially the work of Jacques Derrida); Subject; Kantian Sublime; Kantian aesthetics; Phenomenology (Husserl, Merleau Ponty); Counter-Reformation; Hermes God; Singularities; M. Merleau-Ponty; Lacanian psychoanalysis; Psychoanalysis; Emilio Betti; Mathematical Model; Text as Image; Jean-Francois Lyotard,; Suspension; Deleuze Studies; Understanding; Interpretation; Hans-Georg Gadamar; Hermeneutic Philosophy; Hermeuetics; Gerhard Ebeling; Ingarden; Sexual Difference and Textuality; E.D.Hirsch; Szondi; Phenomenology; Post-Phenomenology; Philosophical Hermeneutics; Early Frankfurt School; Walter Benjamin; Marx; Western Marxism; Kant; Hegel; Nietzsche; Social and Political Philosophy; Philosophy; Literature; Humanities; Social Science; Zizek; Lacan; Psychoanalysis; Kant; Jaques Derrida; Meaninglessness; Zizek studies; Jungian Dream Analysis; Hegel's aesthetics; Dominick LaCapra; Manfred Frank; Hans Robert Jauss; Merleau Ponty; Jakobson; Hermeneutical Phenomenology; Contemporary Sublime; Interpretive Research; Lévi-Strauss; Post-structuralism; Problem of Experience; Psychoanalysis (Freud and Lacan); Bruce Fink; Chladenius; Critical-interpretive methodology; Aristotelian Philosophy; Exegetical; French Post-Structuralism; Post-structuralism; Objet Petit; Logical Thinking; Claude Levi Strauss; August Boeckh; Matthias Flacius Illyricus; Theory of Logical Opposition; Jacques-Alain Miller; Jaques Lacan; Levi Strauss; Francis Bacon's paintings; Logic of sense; Roman Jakobson; Exegetical Methodology; Bertrand Russell's Philosophy of Logic; Sexual difference; Freudian Psychoanalysis; Phenomenology; Husserl; Poulet; Hermeneutics; Theories of Interpretation; Russell's Paradox; Biblical Texts and Meaning Theory; W. Benjamin; History of Translation and Interpretation; Saussurean Signifier; Literary Nonsense; De Saussure; Phenomenological Philosophy; Husserl; Phenomenological and Hermeneutical Approaches to Religion; Phenomenology after Structuralism; Philosophy of Martin Heidegger; Jungian Psychoanalytic Dream Analysis; Sex and Gender based Analysis; Discourse Analysis (DA); Philosophy of Wilhelm Dilthey; History and Theory of Anthropology; Hermeneutics and Interpretive Anthropology; Aristotle’s Assumptions; Jacques Alain Miller; Aesthetic Judgement; Nonsense Inscriptions; Kristevan Abject and Inter-textuality; Foucauldian Theories; Iser Wolfgang; Jauss Hans Robert; M. Heidegger; Phenomenology; Heidegger; Phenomenological Hermeneutics (Esp. Heidegger); Metaphysics; Phenomenology; Heidegger; Identity and Subjectivity Issues; Theory of Sublime; Interpretive Argument; Continental Philosophy; Alain Badiou; Functions of Language; Jakobson; Linguistics; Peter Szondi; Ernst Kris; Foucault; Freud; Hermeneutics and Exegetical; Friedrich Ast; Richard Palmer; Demetrius Teigas; Roberto Harari; Monique David-Menard; Paul Verhaeghe; Guy Le Gaufey

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Urban, W. J. (2014). Sexuated Topology and the Suspension of Meaning: A Non-Hermeneutical Phenomenological Approach to Textual Analysis. (Doctoral Dissertation). York University. Retrieved from http://hdl.handle.net/10315/27706

Chicago Manual of Style (16th Edition):

Urban, William John. “Sexuated Topology and the Suspension of Meaning: A Non-Hermeneutical Phenomenological Approach to Textual Analysis.” 2014. Doctoral Dissertation, York University. Accessed September 19, 2019. http://hdl.handle.net/10315/27706.

MLA Handbook (7th Edition):

Urban, William John. “Sexuated Topology and the Suspension of Meaning: A Non-Hermeneutical Phenomenological Approach to Textual Analysis.” 2014. Web. 19 Sep 2019.

Vancouver:

Urban WJ. Sexuated Topology and the Suspension of Meaning: A Non-Hermeneutical Phenomenological Approach to Textual Analysis. [Internet] [Doctoral dissertation]. York University; 2014. [cited 2019 Sep 19]. Available from: http://hdl.handle.net/10315/27706.

Council of Science Editors:

Urban WJ. Sexuated Topology and the Suspension of Meaning: A Non-Hermeneutical Phenomenological Approach to Textual Analysis. [Doctoral Dissertation]. York University; 2014. Available from: http://hdl.handle.net/10315/27706

.