Incremental semantics for propositional texts

Notre Dame Journal of Formal Logic 35 (2):243-271 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1094061863

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

Kripke-type semantics for Da Costa's paraconsistent logic "C" w.Matthias Baaz - 1986 - Notre Dame Journal of Formal Logic 27:523-527.
Book Review: C. Anthony Anderson and Joseph Owens. Propositional attitudes: The role of content in logic, language and mind. [REVIEW]Jean R. Kazez - 1994 - Notre Dame Journal of Formal Logic 35 (2):299-310.
Combinatory and propositional logic.David Meredith - 1974 - Notre Dame Journal of Formal Logic 15 (1):156-160.
Infinitary propositional intuitionistic logic.Craig Kalicki - 1980 - Notre Dame Journal of Formal Logic 21 (2):216-228.
The completeness of Stoic propositional logic.Ian Mueller - 1979 - Notre Dame Journal of Formal Logic 20 (1):201-215.
A general propositional logic of conditionals.Scott Lehmann - 1979 - Notre Dame Journal of Formal Logic 20 (1):77-83.
Propositional logic in Plato's Protagoras.Kenneth M. Sayre - 1963 - Notre Dame Journal of Formal Logic 4 (4):306-312.
On propositional form.George Englebretsen - 1980 - Notre Dame Journal of Formal Logic 21 (1):101-110.
On propositional quantifiers in provability logic.Sergei N. Artemov & Lev D. Beklemishev - 1993 - Notre Dame Journal of Formal Logic 34 (3):401-419.
A formal system for the non-theorems of the propositional calculus.Xavier Caicedo Ferrer - 1978 - Notre Dame Journal of Formal Logic 19 (1):147-151.

Analytics

Added to PP
2010-08-24

Downloads
62 (#338,701)

6 months
6 (#825,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Dynamic squares.Patrick Blackburn & Yde Venema - 1995 - Journal of Philosophical Logic 24 (5):469 - 523.
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.
Text structure and proof structure.C. F. M. Vermeulen - 2000 - Journal of Logic, Language and Information 9 (3):273-311.
Shifting perspectives in discourse.H. J. Verkuyl & C. F. M. Vermeulen - 1996 - Linguistics and Philosophy 19 (5):503 - 526.
Dynamic negation, the one and only.Marco Hollenberg & Albert Visser - 1999 - Journal of Logic, Language and Information 8 (2):137-141.

View all 6 citations / Add more citations

References found in this work

A Theory of Truth and Semantic Representation.Hans Kamp - 2002 - In Paul H. Portner & Barbara H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.

Add more references