Premium
Decision procedures for elementary sublanguages of set theory. VI. Multi‐level syllogistic extended by the powerset operator
Author(s) -
Cantone D.,
Schwartz J. T.,
Ferro A.
Publication year - 1985
Publication title -
communications on pure and applied mathematics
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 3.12
H-Index - 115
eISSN - 1097-0312
pISSN - 0010-3640
DOI - 10.1002/cpa.3160380507
Subject(s) - operator (biology) , syllogism , algebra over a field , calculus (dental) , set (abstract data type) , mathematics , computer science , discrete mathematics , information retrieval , linguistics , pure mathematics , programming language , philosophy , medicine , biochemistry , chemistry , dentistry , repressor , transcription factor , gene