Automatic English-to-Logic Translation in a Simplified Model. A Study in the Logic of Grammar

, , &
Journal of Symbolic Logic 49 (4):1406-1407 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274289

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

In Quest of Sufficient Equivalence. Polish and English Insolvency Terminology in Translation. a Comparative Study.Aleksandra Matulewska - 2014 - Studies in Logic, Grammar and Rhetoric 38 (1):167-188.
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics.Linh Nguyen - 2008 - Logic Journal of the IGPL 16 (2):175-193.
Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
Logic and Grammar.Joachim Lambek - 2012 - Studia Logica 100 (4):667-681.
Quantified Modal Logic, Dynamic Semantics and S 5.Eric Gillet Paul Gochet - 1999 - Dialectica 53 (3-4):243-251.
Simplified semantics for relevant logics (and some of their rivals).Greg Restall - 1993 - Journal of Philosophical Logic 22 (5):481 - 511.
Sentential Logic for Psychologists.Richard Grandy & Daniel Osherson - unknown
Automatic models of first order theories.Pavel Semukhin & Frank Stephan - 2013 - Annals of Pure and Applied Logic 164 (9):837-854.
A simplified embedding of E into monomodal K.Rohan French - 2009 - Logic Journal of the IGPL 17 (4):421-428.
Grammar and Logic in the Nineteenth Century, as Seen in a Syntactical Analysis of the English Language.J. W. Rogers - 1888 - Trübner and Co. George Robertson.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
What is a logic translation?Till Mossakowski, Răzvan Diaconescu & Andrzej Tarlecki - 2009 - Logica Universalis 3 (1):95-124.
An Introduction to Basic Arithmetic.Mohammad Ardeshir & Bardyaa Hesaam - 2008 - Logic Journal of the IGPL 16 (1):1-13.
Model theory of measure spaces and probability logic.Rutger Kuyper & Sebastiaan A. Terwijn - 2013 - Review of Symbolic Logic 6 (3):367-393.
Poizat Bruno. A course in model theory. An introduction to contemporary mathematical logic. English translation by Klein Moses of jsl lviii 1074. Universitext. Springer, new York, Berlin, heidelberg, etc., 2000, XXXI+ 443 pp. [REVIEW]Gregory Cherlin - 2001 - Bulletin of Symbolic Logic 7 (4):521-522.

Analytics

Added to PP
2015-02-05

Downloads
26 (#577,276)

6 months
15 (#145,565)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references