Relevant bibliographies by topics / Natural logic

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Natural logic'

Author: Grafiati
Published: 4 June 2021
Last updated: 8 February 2022

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Natural 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.

Journal articles on the topic "Natural logic"

1

Avron, Arnon. "Natural 3-valued logics—characterization and proof theory." Journal of Symbolic Logic 56, no. 1 (March 1991): 276–94. http://dx.doi.org/10.2307/2274919.

Full text
Abstract:
Many-valued logics in general and 3-valued logic in particular is an old subject which had its beginning in the work of Łukasiewicz [Łuk]. Recently there is a revived interest in this topic, both for its own sake (see, for example, [Ho]), and also because of its potential applications in several areas of computer science, such as proving correctness of programs [Jo], knowledge bases [CP] and artificial intelligence [Tu]. There are, however, a huge number of 3-valued systems which logicians have studied throughout the years. The motivation behind them and their properties are not always clear, and their proof theory is frequently not well developed. This state of affairs makes both the use of 3-valued logics and doing fruitful research on them rather difficult.Our first goal in this work is, accordingly, to identify and characterize a class of 3-valued logics which might be called natural. For this we use the general framework for characterizing and investigating logics which we have developed in [Av1]. Not many 3-valued logics appear as natural within this framework, but it turns out that those that do include some of the best known ones. These include the 3-valued logics of Łukasiewicz, Kleene and Sobociński, the logic LPF used in the VDM project, the logic RM3 from the relevance family and the paraconsistent 3-valued logic of [dCA]. Our presentation provides justifications for the introduction of certain connectives in these logics which are often regarded as ad hoc. It also shows that they are all closely related to each other. It is shown, for example, that Łukasiewicz 3-valued logic and RM3 (the strongest logic in the family of relevance logics) are in a strong sense dual to each other, and that both are derivable by the same general construction from, respectively, Kleene 3-valued logic and the 3-valued paraconsistent logic.
APA, Harvard, Vancouver, ISO, and other styles
2

Томова, Н. Е. "Natural three-valued logics and classical logic." Logical Investigations 19 (April 9, 2013): 344–52. http://dx.doi.org/10.21146/2074-1472-2013-19-0-344-352.

Full text
Abstract:
In this paper implicative fragments of natural three- valued logic are investigated. It is proved that some fragments are equivalent by set of tautologies to implicative fragment of classical logic. It is also shown that some natural three-valued logics verify all tautologies of classical propositional logic.
APA, Harvard, Vancouver, ISO, and other styles
3

Wu, Kun, and Zhensong Wang. "Natural Philosophy and Natural Logic." Philosophies 3, no. 4 (September 21, 2018): 27. http://dx.doi.org/10.3390/philosophies3040027.

Full text
Abstract:
1. Nature has its own logic, which does not follow the human will. Nature is itself; it exists, moves, changes, and evolves according to its own intrinsic ways. Human and human society, as a product of a specific stage of natural development, can only be a concrete manifestation of the logic of nature. 2. In the broad sense, nature refers to all, both phenomena and processes, in the universe. It includes human society spiritual phenomena. In a narrow sense, nature refers to the world outside the society and opposed to society as well, or refers to the research objects of natural sciences 3. The narrow natural philosophy is in the intermediary position between the natural sciences and the overall philosophy (the supreme philosophy, an advocation of Kun Wu’s philosophy of information. For further detail, please refer to the subscript in the following.). Furthermore, it is an independent sub-level philosophical discipline; the broad natural philosophy is a meta-philosophy or supreme philosophy, stipulating the entire world from the dimensions of nature itself. 4. Natural philosophy reveals the laws of nature’s own existence, movement, change, and evolution. This determines that the way of expressing natural philosophy is necessarily natural ontology. The construction of the theoretical system of natural philosophy is inevitably a process of abandoning cognitive mediums of human beings through reflection. It is necessary for us to conclude that natural philosophy is the stipulation of nature itself, which comes out of the nature itself. So, we must explain the nature from the standpoint of the nature itself. 5. The true philosophy should move from the human world to the nature, finding back Husserl’s suspended things, and establish a brand-new philosophy in which man and nature, substance, information, and spirit are united. This kind of philosophy is able to provide contemporary ecological civilization with a reasonable philosophical foundation, rebuilding natural philosophy in a new era, which is a very urgent task for contemporary philosophers. 6. The unity of philosophy and science cannot be seen merely as an external convergence, but also as an intrinsic fusion; a true philosophy should have a scientific character, and science itself must have a philosophical basis. The unity of such an intrinsic fusion of science and philosophy can be fully demonstrated by the practical relationship of development between human philosophy and science. 7. In addition to the narrow path along epistemology, linguistics, and phenomenology, the development of human philosophy has another path. This is the development of philosophy itself that has been nurtured and demonstrated during the development of general science: On the one hand, the construction of scientific rationality requires philosophical thinking and exploration; On the other hand, the progress of science opens the way for the development of philosophy. 8. In the real process of the development of human knowledge, science and philosophy are regulated, contained, and merged with each other in the process of interaction. The two are inlaid together internally to form an interactive dynamic feedback loop. The unified relationship of mutual influence, regulation, promotion and transformation presented in the intrinsic interplay of interaction between science and philosophy profoundly breeds and demonstrates the general way of human knowledge development: the philosophicalization (a term used in Kun Wu’s philosophy of information. For more details please see in Kun Wu, 2016, The Interaction and Convergence of the Philosophy and Science of Information, https://doi.org/10.3390/philosophies1030228) of science and scientification (a term used in Kun Wu’s philosophy of information. For more detail, please see in Kun Wu, 2016, The Interaction and Convergence of the Philosophy and Science of Information, https://doi.org/10.3390/philosophies1030228) of philosophy. 9. We face two types of dogmatism: one is the dogmatism of naturalism, and the other is the dogmatism of the philosophy of consciousness. One of the best ways to overcome these tendencies of dogmatism is to unite natural ontology, and epistemic constructivism. The crisis of contemporary philosophy induced by the western consciousness philosophy seems like belonging to the field of epistemology, but the root of this crisis is deeply buried in the ontology. The key to solving the crisis of contemporary philosophy lies precisely in the reconstruction of the doctrine of natural philosophy centering to the nature itself and excluding God. The task to be accomplished by this new natural philosophy is how to regain the natural foundation of human consciousness after the God has left the field. 10. Since the 1980s, the philosophy of information established and developed in China has proposed a theory of objective information, as well as the dual existence and dual evolution of matter and information (a key advocation in the ontological theory of Kun Wu’s philosophy of information). It is this theory that has made up for the vacancy existing between matter and mind, which apparently exists in Cartesian dualism, after the withdrawal of the God’s from the field. Philosophy of information in China is first and foremost a natural philosophy that adheres to naturalistic attitudes. Second, this natural philosophy explains the human, human mind and human society in the interpretation of the process and mechanism of natural evolution. In this connection, philosophy of information (a key advocation of Kun Wu’s philosophy of information) in China is a system of meta-philosophy or supreme philosophy. This system undoubtedly has the nature of a new natural philosophy. At the same time, this philosophy can better reflect the philosophical spirit of the information age.
APA, Harvard, Vancouver, ISO, and other styles
4

BESSON, CORINE. "EXTERNALISM, INTERNALISM, AND LOGICAL TRUTH." Review of Symbolic Logic 2, no. 1 (March 2009): 1–29. http://dx.doi.org/10.1017/s1755020309090091.

Full text
Abstract:
The aim of this paper is to show what sorts of logics are required by externalist and internalist accounts of the meanings of natural kind nouns. These logics give us a new perspective from which to evaluate the respective positions in the externalist--internalist debate about the meanings of such nouns. The two main claims of the paper are the following: first, that adequate logics for internalism and externalism about natural kind nouns are second-order logics; second, that an internalist second-order logic is a free logic—a second order logic free of existential commitments for natural kind nouns, while an externalist second-order logic is not free of existential commitments for natural kind nouns—it is existentially committed.
APA, Harvard, Vancouver, ISO, and other styles
5

Hodges, Wilfrid. "Traditional Logic, Modern Logic and Natural Language." Journal of Philosophical Logic 38, no. 6 (October 14, 2009): 589–606. http://dx.doi.org/10.1007/s10992-009-9113-y.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Peregrin, Jaroslav. "Logic and Natural Selection." Logica Universalis 4, no. 2 (July 20, 2010): 207–23. http://dx.doi.org/10.1007/s11787-010-0018-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Uckelman, Sara L. "A Quantified Temporal Logic for Ampliation and Restriction." Vivarium 51, no. 1-4 (2013): 485–510. http://dx.doi.org/10.1163/15685349-12341259.

Full text
Abstract:
Abstract Temporal logic as a modern discipline is separate from classical logic; it is seen as an addition or expansion of the more basic propositional and predicate logics. This approach is in contrast with logic in the Middle Ages, which was primarily intended as a tool for the analysis of natural language. Because all natural language sentences have tensed verbs, medieval logic is inherently a temporal logic. This fact is most clearly exemplified in medieval theories of supposition. As a case study, we look at the supposition theory of Lambert of Lagny (Auxerre), extracting from it a temporal logic and providing a formalization of that logic.
APA, Harvard, Vancouver, ISO, and other styles
8

KREMER, PHILIP. "COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS." Review of Symbolic Logic 11, no. 3 (September 2018): 507–18. http://dx.doi.org/10.1017/s1755020318000229.

Full text
Abstract:
AbstractWe add propositional quantifiers to the propositional modal logic S4 and to the propositional intuitionistic logic H, introducing axiom schemes that are the natural analogs to axiom schemes typically used for first-order quantifiers in classical and intuitionistic logic. We show that the resulting logics are sound and complete for a topological semantics extending, in a natural way, the topological semantics for S4 and for H.
APA, Harvard, Vancouver, ISO, and other styles
9

Avron, Arnon. "Gentzenizing Schroeder-Heister's natural extension of natural deduction." Notre Dame Journal of Formal Logic 31, no. 1 (December 1989): 127–35. http://dx.doi.org/10.1305/ndjfl/1093635337.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Brady, Ross T. "Normalized natural deduction systems for some relevant logics I: The logic DW." Journal of Symbolic Logic 71, no. 1 (March 2006): 35–66. http://dx.doi.org/10.2178/jsl/1140641162.

Full text
Abstract:
Fitch-style natural deduction was first introduced into relevant logic by Anderson in [1960], for the sentential logic E of entailment and its quantincational extension EQ. This was extended by Anderson and Belnap to the sentential relevant logics R and T and some of their fragments in [ENT1], and further extended to a wide range of sentential and quantified relevant logics by Brady in [1984]. This was done by putting conditions on the elimination rules, →E, ~E, ⋁E and ∃E, pertaining to the set of dependent hypotheses for formulae used in the application of the rule. Each of these rules were subjected to the same condition, this condition varying from logic to logic. These conditions, together with the set of natural deduction rules, precisely determine the particular relevant logic. Generally, this is a simpler representation of a relevant logic than the standard Routley-Meyer semantics, with its existential modelling conditions stated in terms of an otherwise arbitrary 3-place relation R, which is defined over a possibly infinite set of worlds. Readers are urged to refer to Brady [1984], if unfamiliar with the above natural deduction systems, but we will introduce in §2 a modified version in full detail.Natural deduction for classical logic was invented by Jaskowski and Gentzen, but it was Prawitz in [1965] who normalized natural deduction, streamlining its rules so as to allow a subformula property to be proved. (This key property ensures that each formula in the proof of a theorem is indeed a subformula of that theorem.)
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Natural logic"

1

Ishtiaq, Samin. "A relevant analysis of natural deduction." Thesis, Queen Mary, University of London, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.246668.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sanz, Wagner de Campos. "Uma investigação acerca das regras para a negação e o absurdo em dedução natural." [s.n.], 2006. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280089.

Full text
Abstract:
Orientador: Marcelo Esteban Coniglio
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-08-07T00:21:55Z (GMT). No. of bitstreams: 1 Sanz_WagnerdeCampos_D.pdf: 2570437 bytes, checksum: 15352759879927665653f4fc165c3703 (MD5) Previous issue date: 2006
Resumo: O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica. Nossa investigação pode ser vista como um desenvolvimento de uma proposta apresentada por Russell há mais de cem anos e a qual ele parece ter abandonado posteriormente. Focaremos a atenção, em primeiro lugar, sobre a negação e, depois, como conseqüência das propostas para a negação, sobre a constante de absurdo. Nosso ponto de partida é, na verdade, um problema de natureza conceitual. Questionaremos a correção e a adequação da análise da negação e do absurdo atualmente predominante no meio-ambiente de dedução natural de estilo gentzeniano. O questionamento dessas análises adota como ponto focal o conceito de hipótese. O conceito de hipótese é uma noção central para os sistemas de dedução natural e a nossa proposta de análise desse conceito servirá de esteio para a formulação das propostas elucidatórias para a negação e o absurdo dentro dos sistemas de dedução natural
Abstract: The purpose of this thesis is to present an elucidation of negation and absurd for intuitionist and classical logics in the range of natural deduction systems. Our study could be seen as a development of a proposal presented by Russell over a hundred years ago, which he presumably abandoned later on. First, we will focus on negation and then on the absurd constant, as a consequence of the claims we are making for negation. As a matter of fact, our starting point is a problem of a conceptual nature. We will question the correctness and the adequacy of the analysis of negation and absurd, prevailing nowadays in the Gentzen-style natural deduction circle. The concept of hypothesis is the focus point in questioning these analyses. The concept of hypothesis is a central notion for natural deduction systems and the purpose of our analysis of this concept is to support the formulation of elucidative propositions for negation and absurd in natural deduction systems
Doutorado
Doutor em Filosofia
APA, Harvard, Vancouver, ISO, and other styles
3

Schoter, Andreas. "The computational application of bilattice logic to natural reasoning." Thesis, University of Edinburgh, 1996. http://hdl.handle.net/1842/434.

Full text
Abstract:
Chapter 1 looks at natural reasoning. It begins by considering the inferences that people make, particularly in terms of how those inferences differ from what is sanctioned by classical logic. I then consider the role of logic in relation to psychology and compare this relationship with the competence/performance distinction from syntax. I discuss four properties of natural reasoning that I believe are key to any theory: specifically partially, paraconsistancy, relevance and defeasibility. I then discuss whether these are semantic properties or pragmatic ones, and conclude by describing a new view of logic and inference prevalent in some contemporary writings. Chapter 2 looks at some of the existing formal approaches to the four properties. For each property I present the basic idea in formal terms, and then discuss a number of systems from the literature. Each section concludes with a brief discussion of the importance of the given property in the field of computation. Chapter 3 develops the formal system used in this thesis. this is an evidential, bilattice-based logic (EBL). I begin by presenting the mathematical preliminaries, and then show how the four properties of natural reasoning can be captured. The details of the logic itself are presented, beginning with the syntax and then moving on to the semantics. The role of pragmatic inferences in the logic is considered and a formal solution is advanced. I conclude by comparing EBL to some of the logics discussed in Chapter 2. Chapter 4 rounds off Part 1 by considering the implementation of the logic and some of it's computational properties. It begins by considering the application of evidential bilattice logic to logic programming; it extends Fitting's work in this area to construct a programming language, QLOG2. I give some examples of this language in use. The QLOG2 language is then used as a part of the implementation of the EBL system itself: I describe the details of this Implementation and then give some examples of the system in use. The chapter concludes by giving an informal presentation of some basic complexity results for logical closure in EBL, based on the given implementation. Chapter 5 presents some interesting data from linguistics that reflects some of the principles of natural reasoning; in particular I concentrate on implicatures and presupposition. I begin by describing the data and then consider a number of approaches from both the logical and the linguistic literature. Chapter 6 uses the logic developed in Chapter 3 to analyse the data presented in Chapter 5. I consider the basic inference cases, and then move on to more complex examples involving contextual interactions. The results are quite successful, and add weight to Mercer's quest for a common logical semantics for entailment and presupposition. All of the examples considered in this chapter can be handled by the implemented system described in Chapter 4. Finally, Chapter 7 rounds off by presenting some further areas of research that have been raised by this investigation. In particular, the issues of quantification and modality are discussed.
APA, Harvard, Vancouver, ISO, and other styles
4

Pareschi, Remo. "Type-driven natural language analysis." Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/19215.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Pizer, Ian. "On a natural construction of real closed subfields of the reals." Thesis, University of Bristol, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.274640.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Brage, Jens. "A Natural Interpretation of Classical Proofs." Doctoral thesis, Stockholm : Dept. of mathematics, Stockholm university, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-913.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hug, Joachim Josef [Verfasser]. "Exploring the biosynthetic logic of myxobacterial natural products / Joachim Josef Hug." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2020. http://d-nb.info/1221129422/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Sturla, Giancarlo (Giancarlo F. ). "A two-phased approach for natural language parsing into formal logic." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/113294.

Full text
Abstract:
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 53-56).
Natural language is an intuitive medium for a human to communicate with a robot. Additionally, there are many tasks in areas such as manufacturing, military, and disaster response where communication is limited among the agents performing these tasks. Due to this limited communication, we focus on a protocol where most of the communication is done before and after the mission execution. As a first step in analyzing the effectiveness of this protocol, this thesis presents a two-phased approach to parsing natural language into an arbitrary formal logic. In the first phase, we aim to learn the generic structure of the logical expression associated with a natural language utterance. For example, if the sentence "Approach the target from the west" were to be parsed into the expression Approach(target;west), then the first phase would output a generic structure such as f(c0; c1), where f, c0, and c1 are placeholders for the actual values Approach, target, and west, respectively. In the second phase, we aim the learn how to assign the intended values to these placeholders. The method developed in this thesis is able to achieve an accuracy of 46% and 78% for the first and second phase of our natural language parser, respectively. With the help of our natural language parser, we can use the outputted logical expressions in future work to help in the analysis of the mission execution's success or failure.
by Giancarlo Sturla.
M. Eng.
APA, Harvard, Vancouver, ISO, and other styles
9

Taing, Austin. "Application of Boolean Logic to Natural Language Complexity in Political Discourse." UKnowledge, 2019. https://uknowledge.uky.edu/cs_etds/77.

Full text
Abstract:
Press releases serve as a major influence on public opinion of a politician, since they are a primary means of communicating with the public and directing discussion. Thus, the public’s ability to digest them is an important factor for politicians to consider. This study employs several well-studied measures of linguistic complexity and proposes a new one to examine whether politicians change their language to become more or less difficult to parse in different situations. This study uses 27,500 press releases from the US Senate between 2004–2008 and examines election cycles and natural disasters, namely hurricanes, as situations where politicians’ language may change. We calculate the syntactic complexity measures clauses per sentence, T-unit length, and complex-T ratio, as well as the Automated Readability Index and Flesch Reading Ease of each press release. We also propose a proof-of-concept measure called logical complexity to find if classical Boolean logic can be applied as a practical linguistic complexity measure. We find that language becomes more complex in coastal senators’ press releases concerning hurricanes, but see no significant change for those in election cycles. Our measure shows similar results to the well-established ones, showing that logical complexity is a useful lens for measuring linguistic complexity.
APA, Harvard, Vancouver, ISO, and other styles
10

Mercer, Robert Ernest. "A default logic approach to the derivation of natural language presuppositions." Thesis, University of British Columbia, 1987. http://hdl.handle.net/2429/27457.

Full text
Abstract:
A hearer's interpretation of the meaning of an utterance consists of more than what is conveyed by just the sentence itself. Other parts of the meaning are produced as inferences from three knowledge sources: the sentence itself, knowledge about the world, and knowledge about language use. One inference of this type is the natural language presupposition. This category of inference is distinguished by a number of features: the inferences are generated only, but not necessarily, if certain lexical or syntactic environments are present in the uttered sentence; normal interpretations of these presuppositional environments in the scope of a negation in a simple sentence produce the same inferences as the unnegated environment; and the inference can be cancelled by information in the conversational context. We propose a method for deriving presuppositions of natural language sentences that has its foundations in an inference-based concept of meaning. Whereas standard (monotonic) forms of reasoning are able to capture portions of a sentence's meaning, such as its entailments, non-monotonic forms of reasoning are required to derive its presuppositions. Gazdar's idea of presuppositions being consistent with the context, and the usual connection of presuppositions with lexical and syntactic environments motivates the use of Default Logic as the formal nonmonotonic reasoning system. Not only does the default logic approach provide a natural means to represent presuppositions, but also a single (slightly restricted) default proof procedure is all that is required to generate the presuppositions. The naturalness and simplicity of this method contrasts with the traditional projection methods. Also available to the logical approach is the proper treatment of 'or' and 'if ... then ...' which is not available to any of the projection methods. The default logic approach is compared with four others, three projection methods and one non-projection method. As well as serving the function of demonstrating empirical and methodological difficulties with the other methods, the detailed investigation also provides the motivation for the topics discussed in connection with default logic approach. Some of the difficulties have been solved using the default logic method, while possible solutions for others have only been sketched. A brief discussion of a new method for providing corrective answers to questions is presented. The novelty of this method is that the corrective answers are viewed as correcting presuppositions of the answer rather than of the question.
Science, Faculty of
Computer Science, Department of
Graduate
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Natural logic"

1

Tennant, Neil. Natural logic. Edinburgh: Edinburgh University Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Tennant, Neil. Natural logic. Edinburgh: Edinburgh University Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Studer, Rudi, ed. Natural Language and Logic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/3-540-53082-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

International Scientific Symposium (1989 Hamburg, Germany). Natural language and logic: Proceedings. Berlin: Springer-Verlag, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Cannon, Douglas. Deductive logic in natural language. Peterborough, Ont: Broadview Press, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Natural deduction: A proof-theoretical study. Mineola, NY: Dover Publications, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Indrzejczak, Andrzej. Natural deduction, hybrid systems and modal logics. Dordrecht: Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Wright, Marie-Christine. A relevance logic for natural language. Manchester: University of Manchester, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Natural logic: Exploring decision and intuition. Brighton, Or: Sussex Academic Press, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Susan, Yelavich, and Rosen Jonathan, eds. Animal logic. New York, N.Y: Princeton Architectural Press, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Natural logic"

1

Van Benthem, Johan. "Natural Logic." In Studies in Linguistics and Philosophy, 109–19. Dordrecht: Springer Netherlands, 1986. http://dx.doi.org/10.1007/978-94-009-4540-1_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Moss, Lawrence S. "Natural Logic." In The Handbook of Contemporary Semantic Theory, 559–92. Chichester, UK: John Wiley & Sons, Ltd, 2015. http://dx.doi.org/10.1002/9781118882139.ch18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Risby, Bonnie, and Annelise Palouda. "Natural Disaster Kits." In Logic Safari, 16. New York: Routledge, 2021. http://dx.doi.org/10.4324/9781003236306-13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Dean, Neville. "Natural Deduction." In Logic and Language, 73–116. London: Macmillan Education UK, 2003. http://dx.doi.org/10.1007/978-0-230-00605-8_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Pratt, Scott L. "Decolonizing “Natural Logic”." In Studies in Universal Logic, 23–50. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-58446-7_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

van Eijck, Jan. "Natural Logic for Natural Language." In Logic, Language, and Computation, 216–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-75144-1_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

de la Clergerie, Éric Villemonte. "Natural Language Tabular Parsing." In Logic Programming, 8. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45635-x_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

De Queiroz, Ruy J. G. B., and Dov M. Gabbay. "Labelled Natural Deduction." In Trends in Logic, 173–250. Dordrecht: Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-011-4574-9_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

MacCartney, Bill, and Christopher D. Manning. "Natural Logic and Natural Language Inference." In Text, Speech and Language Technology, 129–47. Dordrecht: Springer Netherlands, 2014. http://dx.doi.org/10.1007/978-94-007-7284-7_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Karttunen, Lauri. "From Natural Logic to Natural Reasoning." In Computational Linguistics and Intelligent Text Processing, 295–309. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-18111-0_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Natural logic"

1

"EPISODIC LOGIC: NATURAL LOGIC + REASONING." In International Conference on Knowledge Engineering and Ontology Development. SciTePress - Science and and Technology Publications, 2011. http://dx.doi.org/10.5220/0003690003040310.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Karttunen, Lauri. "Limits of Natural Logic." In Proceedings of the Second Workshop on Extra-Propositional Aspects of Meaning in Computational Semantics (ExProM 2015). Stroudsburg, PA, USA: Association for Computational Linguistics, 2015. http://dx.doi.org/10.3115/v1/w15-1306.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Angeli, Gabor, and Christopher D. Manning. "NaturalLI: Natural Logic Inference for Common Sense Reasoning." In Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP). Stroudsburg, PA, USA: Association for Computational Linguistics, 2014. http://dx.doi.org/10.3115/v1/d14-1059.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Andreasen, Troels, Henrik Bulskov, Per Anker Jensen, and Jørgen Fischer Nilsson. "Querying Natural Logic Knowledge Bases." In 9th International Conference on Knowledge Engineering and Ontology Development. SCITEPRESS - Science and Technology Publications, 2017. http://dx.doi.org/10.5220/0006574502940301.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

MacCartney, Bill, and Christopher D. Manning. "Natural logic for textual inference." In the ACL-PASCAL Workshop. Morristown, NJ, USA: Association for Computational Linguistics, 2007. http://dx.doi.org/10.3115/1654536.1654575.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Yasugi, Mariko, and Masahiro Nakata. "NDK and Natural Reasoning." In Proceedings of the Sixth Asian Logic Conference. WORLD SCIENTIFIC / S'PORE UNIV PRESS (PTE) LTD, 1998. http://dx.doi.org/10.1142/9789812812940_0017.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Perlovsky, Leonid I. "Natural Language SOA Using Dynamic Logic." In 2007 International Conference on Integration of Knowledge Intensive Multi-Agent Systems. IEEE, 2007. http://dx.doi.org/10.1109/kimas.2007.369785.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Novak, Vilem. "Fuzzy logic in natural language processing." In 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2017. http://dx.doi.org/10.1109/fuzz-ieee.2017.8015405.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chambers, Nathanael, Christopher D. Manning, Daniel Cer, Trond Grenager, David Hall, Chloe Kiddon, Bill MacCartney, Marie-Catherine de Marneffe, Daniel Ramage, and Eric Yeh. "Learning alignments and leveraging natural logic." In the ACL-PASCAL Workshop. Morristown, NJ, USA: Association for Computational Linguistics, 2007. http://dx.doi.org/10.3115/1654536.1654570.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

MacCartney, Bill, and Christopher D. Manning. "An extended model of natural logic." In the Eighth International Conference. Morristown, NJ, USA: Association for Computational Linguistics, 2009. http://dx.doi.org/10.3115/1693756.1693772.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Natural logic' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography