The Axiom of Comprehension in Infinite Valued Logic.
C.C. Chang (1963)
Mathematica Scandinavica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic.”
The Axiom of Comprehension in Infinite Valued Logic.
A Set Theory Based on a Certain 3-Valued Logic.
Th. Skolem (1960)
Mathematica Scandinavica
Similarity:
J. BARKLEY ROSSER: Logic for mathematicians
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity:
Some Results Concerning a General Set Theoretical Approach to Logic.
Anton Jensen (1965)
Mathematica Scandinavica
Similarity:
The Decision Problem for Segregated Formulas in First-Order Logic.
M.R. Krom (1967)
Mathematica Scandinavica
Similarity:
Skolem Arithmetics on Certain Concrete Word Systems.
H.A. Pogorzelski (1964)
Mathematica Scandinavica
Similarity:
On Equational Classes of Algebraic Versions of Logic I.
Donald Monk (1970)
Mathematica Scandinavica
Similarity:
An application of logic to algebra
K. JAAKKO HINTIKKA (1954)
Mathematica Scandinavica
Similarity:
Martin's axiom and medial functions.
Dag Normann (1976)
Mathematica Scandinavica
Similarity:
ALFRED TARSKI, in collaboration with ANDRZEJ MOSTOWSKI and RAPHAEL M. ROBINSON: Undecidable theories
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity:
A. A. FRAENKEL: Abstract set theory
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity:
Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices.
Th. Skolem (1958)
Mathematica Scandinavica
Similarity:
A. HEYTING: Intuitionism
TH. SKOLEM (1956)
Mathematica Scandinavica
Similarity:
Martin's Axiom Applied to Existentially Closed Groups.
Angus Macintyre (1973)
Mathematica Scandinavica
Similarity: