Log in

Relevant bibliographies by topics / Logic / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Logic.

Dissertations / Theses on the topic 'Logic'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Zhu, Biao. "Logic programming framework for resolution logics." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0006/MQ43411.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Rabe, Florian [Verfasser]. "Representing logics and logic translations / Florian Rabe." Bremen : IRC-Library, Information Resource Center der Jacobs University Bremen, 2009. http://d-nb.info/103498439X/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Mezzadri, Daniele. "Language and logic in Wittgenstein's Tractatus Logico-Philosophicus." Thesis, University of Stirling, 2010. http://hdl.handle.net/1893/2432.

Full text

Abstract:

This thesis discusses some central aspects of Wittgenstein’s conception of language and logic in his Tractatus Logico-Philosophicus and brings them into relation with the philosophies of Frege and Russell. The main contention is that a fruitful way of understanding the Tractatus is to see it as responding to tensions in Frege’s conception of logic and Russell’s theory of judgement. In the thesis the philosophy of the Tractatus is presented as developing from these two strands of criticism and thus as the culmination of the philosophy of logic and language developed in the early analytic period

APA, Harvard, Vancouver, ISO, and other styles

4

Friend, Michèle Indira. "Second-order logic is logic." Thesis, University of St Andrews, 1997. http://hdl.handle.net/10023/14753.

Full text

Abstract:

"Second-order logic" is the name given to a formal system. Some claim that the formal system is a logical system. Others claim that it is a mathematical system. In the thesis, I examine these claims in the light of some philosophical criteria which first motivated Frege in his logicist project. The criteria are that a logic should be universal, it should reflect our intuitive notion of logical validity, and it should be analytic. The analysis is interesting in two respects. One is conceptual: it gives us a purchase on where and how to draw a distinction between logic and other sciences. The ot

APA, Harvard, Vancouver, ISO, and other styles

5

Nguyen, Loc Bao. "Logic design using programmable logic devices." PDXScholar, 1988. https://pdxscholar.library.pdx.edu/open_access_etds/4103.

Full text

Abstract:

The Programmable Logic Devices, PLO, have caused a major impact in logic design of digital systems in this decade. For instance, a twenty pin PLO device can replace from three hundreds to six hundreds Transistor Transistor Logic gates, which people have designed with since the 60s. Therefore, by using PLD devices, designers can squeeze more features, reduce chip counts, reduce power consumption, and enhance the reliability of the digital systems. This thesis covers the most important aspects of logic design using PLD devices. They are Logic Minimization and State Assignment. In addition, the t

APA, Harvard, Vancouver, ISO, and other styles

6

Sack, Joshua. "Adding temporal logic to dynamic epistemic logic." [Bloomington, Ind.] : Indiana University, 2007. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3274928.

Full text

Abstract:

Thesis (Ph.D.)--Indiana University, Dept. of Mathematics, 2007.<br>Source: Dissertation Abstracts International, Volume: 68-07, Section: B, page: 4531. Adviser: Lawrence Moss. Title from dissertation home page (viewed Apr. 22, 2008).

APA, Harvard, Vancouver, ISO, and other styles

7

Veen, Maria Helena van der. "[Pi]-Logic." [S.l. : Groningen : s.n. ; University Library Groningen] [Host], 2006. http://irs.ub.rug.nl/ppn/293902518.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Merrison, Joanne. "Coleridge's logic." Thesis, University of East Anglia, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316092.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Wheelhouse, Mark James. "Segment logic." Thesis, Imperial College London, 2012. http://hdl.handle.net/10044/1/10473.

Full text

Abstract:

O'Hearn, Reynolds and Yang introduced local Hoare reasoning about mutable data structures using separation logic. They reason about the local parts of the memory accessed by programs, and thus construct their smallest complete specifications. Gardner et al. generalised their work, using context logic to reason about structured data at the same level of abstraction as the data itself. In particular, we developed a formal specification of the Document Object Model (DOM), a W3C XML update library. Whilst we kept to the spirit of local reasoning, we were not able to retain small specifications for

APA, Harvard, Vancouver, ISO, and other styles

10

Roşu, Grigore. "Hidden logic /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2000. http://wwwlib.umi.com/cr/ucsd/fullcit?p9979966.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Thalmann, Lars. "Term-modal logic and quantifier-free dynamic assignment logic." Doctoral thesis, Uppsala : Institutionen för informationsteknologi, Univ. [distributör], 2000. http://publications.uu.se/theses/91-506-1443-6/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Weidner, Thomas. "Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic." Doctoral thesis, Universitätsbibliothek Leipzig, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-208732.

Full text

Abstract:

The classic theorems of Büchi and Kleene state the expressive equivalence of finite automata to monadic second order logic and regular expressions, respectively. These fundamental results enjoy applications in nearly every field of theoretical computer science. Around the same time as Büchi and Kleene, Rabin investigated probabilistic finite automata. This equally well established model has applications ranging from natural language processing to probabilistic model checking. Here, we give probabilistic extensions Büchi\\\'s theorem and Kleene\\\'s theorem to the probabilistic setting. We obt

APA, Harvard, Vancouver, ISO, and other styles

13

Albuquerque, Hugo Cardoso. "Operators and strong versions of sentential logics in Abstract Algebraic Logic." Doctoral thesis, Universitat de Barcelona, 2016. http://hdl.handle.net/10803/394003.

Full text

Abstract:

This dissertation presents the results of our research on some recent devel-opments in Abstract Algebraic Logic (AAL), namely on the Suszko operator, the Leibniz filters, and truth-equational logics. Part I builts and develops an abstract framework which unifies under a common treatment the study of the Leibniz, Suszko, and Frege operators in AAL. Part II generalizes the theory of the strong version of protoalgebraic logics, started in, to arbitrary sentential logics. The interplay between several Leibniz- and Suszko-related notions led us to consider a general framework based upon the noti

APA, Harvard, Vancouver, ISO, and other styles

14

Cerami, Marco. "Fuzzy Description Logics from a Mathematical Fuzzy Logic point of view." Doctoral thesis, Universitat de Barcelona, 2012. http://hdl.handle.net/10803/113374.

Full text

Abstract:

Description Logic is a formalism that is widely used in the framework of Knowledge Representation and Reasoning in Artificial Intelligence. They are based on Classical Logic in order to guarantee the correctness of the inferences on the required reasoning tasks. It is indeed a fragment of First Order Predicate Logic whose language is strictly related to the one of Modal Logic. Fuzzy Description Logic is the generalization of the classical Description Logic framework thought for reasoning with vague concepts that often arise in practical applications. Fuzzy Description Logic has been investi

APA, Harvard, Vancouver, ISO, and other styles

15

Chen, Guiming. "Fuzzy FOIL: A fuzzy logic based inductive logic programming system." Thesis, University of Ottawa (Canada), 1996. http://hdl.handle.net/10393/9621.

Full text

Abstract:

In many domains, characterizations of a given attribute are imprecise, uncertain and incomplete in the available learning examples. The definitions of classes may be vague. Learning systems are frequently forced to deal with such uncertainty. Traditional learning systems are designed to work in the domains where imprecision and uncertainty in the data are absent. Those learning systems are limited because of their impossibility to cope with uncertainty--a typical feature of real-world data. In this thesis, we developed a fuzzy learning system which combines inductive learning with a fuzzy appr

APA, Harvard, Vancouver, ISO, and other styles

16

Kozlowski, Tomasz. "Application of exclusive-OR logic in technology independent logic optimisation." Thesis, University of Bristol, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.296702.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Obeid, Naji. "MIM-Logic : a logic for reasoning about molecular interaction maps." Toulouse 3, 2014. http://thesesups.ups-tlse.fr/2527/.

Full text

Abstract:

Les séries de réactions biochimiques apparaissant au cœur d'une cellule forme ce qu'on appelle des voies métaboliques. La plupart de ces voies sont très complexes impliquant un grand nombre de protéines et d'enzymes. Une représentation logique de ces réseaux contribue au raisonnement à propos de ces voies en général, allant du fait de répondre à certaines questions, compléter des arcs et nœuds manquant, et trouver des incohérences. Dans ce contexte on propose un nouveau model logique basé sur un fragment de logique de premier ordre capable de décrire les réactions apparaissant dans des Molecul

APA, Harvard, Vancouver, ISO, and other styles

18

Martinelli, Giovanni <1995&gt. "Transition from Goods-dominant logic to the Service-dominant logic." Master's Degree Thesis, Università Ca' Foscari Venezia, 2021. http://hdl.handle.net/10579/18756.

Full text

Abstract:

L'oggetto di studio della tesi riguarda la transizione da una logica economica basata sui beni verso la logica economica dove il servizio diventa fondamentale nell'attività di impresa. Saranno approfonditi tutti gli elementi caratterizzanti di queste logiche a partire dai fondamenti storici caratterizzanti di entrambe fino ad arrivare al loro funzionamento. Saranno presentati casi pratici e implementati personali sviluppi di affermazione della logica basata sul servizio.

APA, Harvard, Vancouver, ISO, and other styles

19

Drescher, Conrad. "Action Logic Programs." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-68252.

Full text

Abstract:

We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between the specification of the agent’s strategic behavior and the underlying theory about the agent’s actions and their effects. This makes it a generic, declarative agent programming language, which can be combined with an action representation formalism of one’s choice. We present a declarative semantics for agent logic programs along with (two versions of) a sound and complete operational semantics, which combines the s

APA, Harvard, Vancouver, ISO, and other styles

20

Wansing, Heinrich. "Displaying modal logic /." Dordrecht [u.a.] : Kluwer, 1998. http://www.gbv.de/dms/ilmenau/toc/24662969X.PDF.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

McPhee, Richard. "Compositional logic programming." Thesis, University of Oxford, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393413.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Mathiesen, Erik Arne. "Abstract hoare logic." Thesis, Queen Mary, University of London, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.497518.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Toni, Francesca. "Abductive logic programming." Thesis, Imperial College London, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.490558.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

McClenaghan, Nathan David. "Molecular logic systems." Thesis, Queen's University Belfast, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.314084.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

COSTA, VASTON GONCALVES DA. "LOGIC PROOFS COMPACTATION." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2007. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=10018@1.

Full text

Abstract:

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO<br>CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO<br>É um fato conhecido que provas clássicas podem ser demasiadamente grandes. Estudos em teoria da prova descobriram diferenças exponenciais entre provas normais (ou provas livres do corte) e suas respectivas provas não normais. Por outro lado, provadores automáticos de teorema usualmente se baseiam na construção de provas normais, livres de corte ou provas de corte atômico, pois tais procedimento envolvem menos escolhas. Provas de algumas tautologias são conhecidamente grande

APA, Harvard, Vancouver, ISO, and other styles

26

Koskela, Suvi Jonna Mikaela. "Molecular logic gates." Thesis, University of Bath, 2003. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.760841.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Heck, Richard Gustave. "Logic, semantics, ontology." Thesis, Massachusetts Institute of Technology, 1991. http://hdl.handle.net/1721.1/13940.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1991.<br>Vita.<br>Includes bibliographical references (leaves 195-197).<br>by Richard Gustave Heck, Jr.<br>Ph.D.

APA, Harvard, Vancouver, ISO, and other styles

28

Dalrymple, David Allen. "Asynchronous logic automata." Thesis, Massachusetts Institute of Technology, 2008. http://hdl.handle.net/1721.1/44914.

Full text

Abstract:

Thesis (S.M.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2008.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Includes bibliographical references (p. 89-92).<br>Numerous applications, from high-performance scientific computing to large, high-resolution multi-touch interfaces to strong artificial intelligence, push the practical physical limits of modern computers. Typical computers attempt to hide the physics as much as

APA, Harvard, Vancouver, ISO, and other styles

29

Prakash, Manu. "Microfluidic bubble logic." Thesis, Massachusetts Institute of Technology, 2008. http://hdl.handle.net/1721.1/46593.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2008.<br>"September 2008."<br>Includes bibliographical references.<br>In this thesis, I propose a new paradigm in computing where bits can simultaneously transport and manipulate materials and information. Information representation is invariably physical. Though this insight is fundamental to understanding the physical limits of computation, it has never been exploited as a scheme for material manipulation. Bringing together notions from computer science and fluid d

APA, Harvard, Vancouver, ISO, and other styles

30

Wright, Adam. "Structural separation logic." Thesis, Imperial College London, 2013. http://hdl.handle.net/10044/1/17838.

Full text

Abstract:

This thesis presents structural separation logic, a novel program reasoning approach for software that manipulates both standard heaps and structured data such as lists and trees. Structural separation logic builds upon existing work in both separation logic and context logic. It considers data abstractly, much as it is exposed by library interfaces, ignoring implementation details. We provide a programming language that works over structural heaps, which are similar to standard heaps but allow data to be stored in an abstract form. We introduce abstract heaps, which extend structural heaps to

APA, Harvard, Vancouver, ISO, and other styles

31

Bader, Antoine. "DNA-based logic." Thesis, University of Edinburgh, 2018. http://hdl.handle.net/1842/31065.

Full text

Abstract:

DNA nanotechnology has been developed in order to construct nanostructures and nanomachines by virtue of the programmable self-assembly properties of DNA molecules. Although DNA nanotechnology initially focused on spatial arrangement of DNA strands, new horizons have been explored owing to the development of the toehold-mediated strand-displacement reaction, conferring new dynamic properties to previously static and rigid structures. A large variety of DNA reconfigurable nanostructures, stepped and autonomous nanomachines and circuits have been operated using the strand-displacement reaction.

APA, Harvard, Vancouver, ISO, and other styles

32

Redmond, Walter. "Logic, Duty, Virtue." Pontificia Universidad Católica del Perú - Departamento de Humanidades, 2013. http://repositorio.pucp.edu.pe/index/handle/123456789/112991.

Full text

Abstract:

Deonticlogic, the logic of ethics, can apply to various moral theories. for example, those based on the concepts of virtue or on duty. A scholastic-style square of opposition isuseful in displaying logical relationships among moral notions oroperators such as ought and may. The system may be constructed with a single operator and the nothers may be added to parallel other expressions in ordinary language. Two principies are given to explain super erogation, the case of good but non obligatory acts or habits and to suggest a basic logic of virtue.<br>La lógica deóntica. la lógica de la ética, e

APA, Harvard, Vancouver, ISO, and other styles

33

Barbosa, Fábio Daniel Moreira. "Probabilistic propositional logic." Master's thesis, Universidade de Aveiro, 2016. http://hdl.handle.net/10773/22198.

Full text

Abstract:

Mestrado em Matemática e Aplicações<br>O termo Lógica Probabilística, em geral, designa qualquer lógica que incorpore conceitos probabilísticos num sistema lógico formal. Nesta dissertacção o principal foco de estudo e uma lógica probabilística (designada por Lógica Proposicional Probabilística Exógena), que tem por base a Lógica Proposicional Clássica. São trabalhados sobre essa lógica probabilística a síntaxe, a semântica e um cálculo de Hilbert, provando-se diversos resultados clássicos de Teoria de Probabilidade no contexto da EPPL. São também estudadas duas propriedades muito impo

APA, Harvard, Vancouver, ISO, and other styles

34

Coleman, Neil Edward. "Logic as modelling." Thesis, University of Bristol, 2015. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.702219.

Full text

Abstract:

We are often faced with normative claims about our logical systems and practice. 'classical systems are good', 'intuitionistic logics are deviant and therefore should not be used', etc. In this thesis I aim consider the nature of these norms. I ask: what is it to be a good or bad logic? What are the norms governing logical practice? The answer I offer traces back to the work of Cook (2000) and Shapiro (2012). I argue that Logic is best understood as a discipline concerned with the construction, development and application of a particular type of scientific model: logics. Logics are models in t

APA, Harvard, Vancouver, ISO, and other styles

35

Giesecke, Normen. "Ternary quantum logic." PDXScholar, 2006. https://pdxscholar.library.pdx.edu/open_access_etds/4092.

Full text

Abstract:

The application of Moore's Law would not be feasible by using the computing systems fabrication principles that are prevalent today. Fundamental changes in the field of computing are needed to keep Moore's Law operational. Different quantum technologies are available to take the advancement of computing into the future. Logic in quantum technology uses gates that are very different from those used in contemporary technology. Limiting itself to reversible operations, this thesis presents different methods to realize these logic gates. Two methods using Generalized Ternary Gates and Muthukrishna

APA, Harvard, Vancouver, ISO, and other styles

36

Fors, Mikael. "Elementary Discrete Sets in Martin-Löf Type Theory." Thesis, Uppsala universitet, Algebra och geometri, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-175717.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Wiklund, Tilo. "Locally cartesian closed categories, coalgebras, and containers." Thesis, Uppsala universitet, Algebra och geometri, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-197556.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Xu, Leeka. "Synthesis and optimisation of combinational logic using universal logic module networks." Thesis, Edinburgh Napier University, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295379.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Tibbits, Skylar J. E. "Logic matter : digital logic as heuristics for physical self-guided-assembly." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/64566.

Full text

Abstract:

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Architecture; and, (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2010.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (p. 123-124).<br>Given the increasing complexity of the physical structures surrounding our everyday environment -- buildings, machines, computers and almost every other physical object that humans interact with -- the processes of assembling these complex structures are inevitably caught in a battle of time, complexity and human

APA, Harvard, Vancouver, ISO, and other styles

40

Lin, Dianhuan. "Logic programs as declarative and procedural bias in inductive logic programming." Thesis, Imperial College London, 2013. http://hdl.handle.net/10044/1/24553.

Full text

Abstract:

Machine Learning is necessary for the development of Artificial Intelligence, as pointed out by Turing in his 1950 article ``Computing Machinery and Intelligence''. It is in the same article that Turing suggested the use of computational logic and background knowledge for learning. This thesis follows a logic-based machine learning approach called Inductive Logic Programming (ILP), which is advantageous over other machine learning approaches in terms of relational learning and utilising background knowledge. ILP uses logic programs as a uniform representation for hypothesis, background knowled

APA, Harvard, Vancouver, ISO, and other styles

41

Tall, Aliou. "From mathematics in logic to logic in mathematics : Boole and Frege." Thesis, University of York, 2002. http://etheses.whiterose.ac.uk/14163/.

Full text

Abstract:

This project proceeds from the premise that the historical and logical value of Boole's logical calculus and its connection with Frege's logic remain to be recognised. It begins by discussing Gillies' application of Kuhn's concepts to the history oflogic and proposing the use of the concept of research programme as a methodological tool in the historiography oflogic. Then it analyses'the development of mathematical logic from Boole to Frege in terms of overlapping research programmes whilst discussing especially Boole's logical calculus. Two streams of development run through the project: 1. A

APA, Harvard, Vancouver, ISO, and other styles

42

Celani, Laura. "Logic in theory and in practice : the normative status of logic." Thesis, University of St Andrews, 2015. http://hdl.handle.net/10023/6329.

Full text

Abstract:

In my thesis, I address the question ʽWhat normative status does logic have?', to argue that logical normativity is of a weak sort, and that its constraining power is similar to that of recommendations. The thesis first discusses the notion of logical validity and logical formality, then asks whether logic is a priori and whether it can provide a priori norms for thinking. Subsequently, the issue of the bridge principles linking formal logic to informal reasoning is addressed, jointly with a brief discussion of the deontic operators included in the bridge principles. Then, the thesis addresses

APA, Harvard, Vancouver, ISO, and other styles

43

Genito, Daniele. "Some topics in fuzzy logic." Doctoral thesis, Universita degli studi di Salerno, 2010. http://hdl.handle.net/10556/113.

Full text

Abstract:

2008-2009<br>Si trattano diversi aspetti della logica fuzzy, in particolare: 1) le proprietà preservate da un modello fuzzy ogniqualvolta esso è sottoposto a qualche genere di modifica; 2) la programmazione logica fuzzy, la logica della similarità e la metaprogrammazione, considerando la relazione di sinonimia tra predicati; 3) la connessione tra logica fuzzy e teoria dei bireticoli per il trattamento sia della verità che del grado di informazione.<br>VIII n.s.

APA, Harvard, Vancouver, ISO, and other styles

44

Oliveira, Antonio Marmo da Cunha 1969. "Sistemas, pressuposições e implicaturas = uma investigação exploratória, lógica e filosófica." [s.n.], 2011. http://repositorio.unicamp.br/jspui/handle/REPOSIP/279513.

Full text

Abstract:

Orientador: Walter Alexandre Carnielli<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas<br>Made available in DSpace on 2018-08-19T13:14:11Z (GMT). No. of bitstreams: 1 Oliveira_AntonioMarmodaCunha_M.pdf: 7643012 bytes, checksum: 1904b2b114fcf86253069cc0fe63eedb (MD5) Previous issue date: 2011<br>Resumo: Neste trabalho investigaremos, do ponto de vista da lógica e da filosofia, os fenômenos pragmáticos conhecidos como pressuposição e implicatura, relacionando-os a traços mais gerais da racionalidade humana, como economia e consistência,

APA, Harvard, Vancouver, ISO, and other styles

45

Hawley, Derik. "Logic in pictures : an examination of diagrammatic representations, graph theory amd logic /." Waterloo, Ont. : University of Waterloo [Dept. of Philosophy], 1994. http://etd.uwaterloo.ca/etd/dhawley1994.pdf.

Full text

Abstract:

Thesis (M.A.)-University of Waterloo, 1994.<br>Includes bibliographical references (p. 51). Issued also in PDF format and available via the World Wide Web. Requires Internet connectivity, World Wide Web browser, and Adobe Acrobat Reader.

APA, Harvard, Vancouver, ISO, and other styles

46

Hawley, Derik. "Logic in Pictures: An Examination of Diagrammatic Representations, Graph Theory and Logic." Thesis, University of Waterloo, 1994. http://hdl.handle.net/10012/738.

Full text

Abstract:

This thesis explores the various forms of reasoning that are associated with diagrams. It does this by a logical analysis of diagrammatic symbols. The thesis is divided into three sections dealing with different aspects of diagrammatic logic. They are (1) The relevance of diagrammatic symbols and their role in logic, (2) Methods of formalizing diagrammatic symbols, such as subway maps and Peirce's Existential Graphs through the means of Graph theory, (3) The conception of inference in diagrammatic logic systems.

APA, Harvard, Vancouver, ISO, and other styles

47

Battell, Chelsea. "The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid." Thesis, Université d'Ottawa / University of Ottawa, 2016. http://hdl.handle.net/10393/35264.

Full text

Abstract:

Hybrid is a two-level logical framework that supports higher-order abstract syntax (HOAS), where a specification logic (SL) extends the class of object logics (OLs) we can reason about. We develop a new Hybrid SL and formalize its metatheory, proving weakening, contraction, exchange, and cut admissibility; results that greatly simplify reasoning about OLs in systems providing HOAS. The SL is a sequent calculus defined as an inductive type in Coq and we prove properties by structural induction over SL sequents. We also present a generalized SL and metatheory statement, allowing us to prove ma

APA, Harvard, Vancouver, ISO, and other styles

48

Ramakrishnan, Lakshmi Narasimhan. "SDMLp - Secure Differential Multiplexer Logic : Logic Design for DPA-Resistant Cryptographic Circuits." University of Cincinnati / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1311691925.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Warnke, Martin. "Logic as a medium." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4271/.

Full text

Abstract:

Computer games are rigid in a peculiar way: the logic of computation was the first to shape the early games. The logic of interactivity marked the action genre of games in the second place, while in massive multiplayer online gaming all the emergences of the net occur to confront us with just another type of logic. These logics are the media in which the specific forms of computer games evolve. Therefore, a look at gaming supposing that there are three eras of computation is taken: the early synthetical era, ruled by the Turing machine and by mainframe computers, by the IPO principle of comput

APA, Harvard, Vancouver, ISO, and other styles

50

Wong, Ka-Shu Computer Science &amp Engineering Faculty of Engineering UNSW. "Forgetting in logic programs." Publisher:University of New South Wales. Computer Science & Engineering, 2009. http://handle.unsw.edu.au/1959.4/43732.

Full text

Abstract:

Forgetting is an operation which removes information from a set of logical statements, such that a) the language used by the logic is simplified; and b) as much information as possible from the original logical statements are preserved. Forgetting operations are useful in a variety of contexts, including knowledge representation, where it is necessary to have an operation for removing information from knowledge bases; and the problem of relevance, where logical statements are simplified by removing irrelevant information. In this thesis we consider forgetting operations on logic programs with

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!