Deduction Theorems for T, E and R Reconsidered

Fuzzy natural deduction.Giangiacomo Gerla & Roberto Tortora - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (1):67-77.

Elimination Theorems of Uniqueness Conditions.Nobuyoshi Motohashi - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):511-524.

A General Theorem on Existence Theorems.Martin Stein - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):435-452.

Galois Theorems for Isolated Fields.Erik Ellentuck - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (1):1-9.

Some Extension and Rearrangement Theorems For Nerode Semirings.T. G. McLaughlin - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):197-209.

Completeness Theorems for Temporal Logics TΩ and □TΩ.Hiroya Kawai - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):393-398.

Some theorems on the axioms of choice for finite sets.Martin M. Zuckerman - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (25):385-399.

Barwise Completeness Theorems for Some Biprobability Logics.M. Rašković & R. Živaljević - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (7-9):133-135.

Analytics

Added to PP
2016-02-04

Downloads
31 (#504,102)

6 months
4 (#1,006,062)

Historical graph of downloads

How can I increase my downloads?

No references found.

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...