Studies in Constructive Mathematics and Mathematical Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781468489705, 9781468489682

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Normal Form for Deductions in Predicate Calculus with Equality and Functional Symbols

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_5 ◽

1969 ◽

pp. 21-23 ◽

Cited By ~ 2

Author(s):

V. A. Lifshits

Keyword(s):

Normal Form ◽

Predicate Calculus

Download Full-text

On the Representability of Algorithmically Decidable Predicates by Rabin Machines

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_20 ◽

1969 ◽

pp. 85-88

Author(s):

R. I. Friedzon

Download Full-text

Imbedding Operations Associated with Kripke’s “Semantics”

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_14 ◽

1969 ◽

pp. 60-63 ◽

Cited By ~ 1

Author(s):

G. E. Mints

Download Full-text

Analog of Herbrand’s Theorem for Prenex Formulas of Constructive Predicate Calculus

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_12 ◽

1969 ◽

pp. 47-51 ◽

Cited By ~ 1

Author(s):

G. E. Mints

Keyword(s):

Predicate Calculus ◽

Herbrand’S Theorem ◽

Herbrand's Theorem

Download Full-text

Problem of Decidability for Some Constructive Theories of Equalities

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_8 ◽

1969 ◽

pp. 29-31 ◽

Cited By ~ 1

Author(s):

V. A. Lifshits

Download Full-text

On the Correction of Unprovable Formulas

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_2 ◽

1969 ◽

pp. 5-8

Author(s):

G. V. Daydov

Download Full-text

On Maximal Continuity Regulators for Constructive Functions

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_19 ◽

1969 ◽

pp. 82-84

Author(s):

A. O. Slisenko

Download Full-text

On Imbedding Operators

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_15 ◽

1969 ◽

pp. 64-66

Author(s):

G. E. Mints ◽

V. P. Orevkov

Download Full-text

Choice of Terms in Quantifier Rules of Constructive Predicate Calculus

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_11 ◽

1969 ◽

pp. 43-46 ◽

Cited By ~ 1

Author(s):

G. E. Mints

Keyword(s):

Predicate Calculus

Download Full-text

Some Reduction Classes and Undecidable Theories

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_6 ◽

1969 ◽

pp. 24-25

Author(s):

V. A. Lifshits

Download Full-text

Studies in Constructive Mathematics and Mathematical LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Normal Form for Deductions in Predicate Calculus with Equality and Functional Symbols

On the Representability of Algorithmically Decidable Predicates by Rabin Machines

Imbedding Operations Associated with Kripke’s “Semantics”

Analog of Herbrand’s Theorem for Prenex Formulas of Constructive Predicate Calculus

Problem of Decidability for Some Constructive Theories of Equalities

On the Correction of Unprovable Formulas

On Maximal Continuity Regulators for Constructive Functions

On Imbedding Operators

Choice of Terms in Quantifier Rules of Constructive Predicate Calculus

Some Reduction Classes and Undecidable Theories

Studies in Constructive Mathematics and Mathematical Logic
Latest Publications