Open AccessOn the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic.
Author(s) -
Jens Erik Fenstad
Publication year - 1964
Publication title -
mathematica scandinavica
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.553
H-Index - 30
eISSN - 1903-1807
pISSN - 0025-5521
DOI - 10.7146/math.scand.a-10706
Subject(s) - mathematics , axiom , consistency (knowledge bases) , axiom of choice , algebra over a field , pure mathematics , comprehension , mathematical economics , discrete mathematics , linguistics , computer science , set theory , geometry , programming language , philosophy , set (abstract data type)