A system of predicate logic with transatomic units

Notre Dame Journal of Formal Logic 28 (3):431-438 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093637564

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

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

Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
Predicate logic with flexibly binding operators and natural language semantics.Peter Pagin & Dag Westerståhl - 1993 - Journal of Logic, Language and Information 2 (2):89-128.
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
Systems of sentence logic with trans-atomic units.Richard Butrick - 1986 - Notre Dame Journal of Formal Logic 27 (4):565-571.
The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
A modal sortal logic.Max A. Freund - 2004 - Journal of Philosophical Logic 33 (3):237-260.
A translation of intuitionistic predicate logic into basic predicate logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
Constructing a continuum of predicate extensions of each intermediate propositional logic.Nobu-Yuki Suzuki - 1995 - Studia Logica 54 (2):173 - 198.
Inductive inference in the variable valued predicate logic system VL 21: methodology and computer implementation.James Larson - 1977 - Urbana: Dept. of Computer Science, University of Illinois.
Disquotational truth and analyticity.Volker Halbach - 2001 - Journal of Symbolic Logic 66 (4):1959-1973.
Three complexity problems in quantified fuzzy logic.Franco Montagna - 2001 - Studia Logica 68 (1):143-152.
Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.

Analytics

Added to PP
2010-08-24

Downloads
11 (#1,164,628)

6 months
7 (#491,855)

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